- 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");
- }
+ case "ui.font.height": return N(Font.getFont((Stream)a, JS.toInt(b)).textheight((String)c));
+ 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));