+ 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