case "regexp": return METHOD;
case "ui": return getSub("ui");
case "ui.font": return getSub("ui.font");
+ case "ui.font.wait": return METHOD;
case "ui.font.sansserif": return Main.builtin.get("fonts/vera/Vera.ttf");
case "ui.font.monospace": return Main.builtin.get("fonts/vera/VeraMono.ttf");
case "ui.font.serif": return Main.builtin.get("fonts/vera/VeraSe.ttf");
case "stream.watch": return new Stream.ProgressWatcher((Stream)a, (JS)b);
case "regexp": return new JSRegexp(a, b);
//#end
+ case 3:
+ //#switch(name)
+ case "font.wait":
+ try {
+ JS.UnpauseCallback callback = JS.pause();
+ Font font = Font.getFont((Stream)a, JS.toInt(b));
+ if (font.rasterizeGlyphs((String)c, null, 0,0,0,0,0,0,0, callback) != -1) Scheduler.add(callback);
+ } catch (JS.NotPauseableException npe) {
+ JS.error("can't wait for a font in a foreground thread");
+ }
+ //#end
break;
}
} catch (RuntimeException e) {