case 3:
//#switch(name)
case "ui.font.height": return N(Font.getFont((Stream)a, JS.toInt(b)).textheight((String)c));
- case "ui.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");
- }
- return null;
+ case "ui.font.wait": throw new Error("FIXME: ibex.ui.font.wait not implemented");
case "ui.font.width": return N(Font.getFont((Stream)a, JS.toInt(b)).textwidth((String)c));
//#end
break;