}
xwt.thread = function() {
+ $text.font = xwt.fonts.vera["Vera.ttf"];
+ $text.fontsize = 14;
+ $text.text = "downloading...";
+ fill = xwt.org.xwt.builtin["splash.png"];
xwt.window = thisbox;
x = (xwt.screenWidth - width) / 2;
y = (xwt.screenHeight - height) / 2;
xwt.println("origin is " + origin);
var new_rr = xwt.unzip(xwt.watchProgress(xwt.load(origin), progress));
var new_xwt = xwt.clone(new_rr);
- $text.font = xwt.fonts.vera["Vera.ttf"];
-$text.textcolor = "#f11ff1";
- $text.fontsize = 80;
- $text.text = "downloading...";
-Press1 += function() { xwt.thread = function() {
- var img = xwt.org.xwt.builtin["splash.png"];
- fill = img;
- xwt.yield();
- new_xwt.apply(xwt.box, new_xwt["main.xwt"]);
- thisbox = null;
-} }
+
+ xwt.thread = function() {
+ xwt.yield();
+ new_xwt.apply(xwt.box, new_xwt["main.xwt"]);
+ thisbox = null;
+ }
}
<box height="236" align="bottomleft" packed="false" x="20" y="0">
- <box fontcolor="white" id="text" shrink="true"/>
+ <box textcolor="white" id="text" shrink="true" fill="green"/>
</box>
<box packed="false" id="bar" x="20" y="236" width="354" height="20" align="left">
<box id="innerbar" fill="blue" width="10"/>