| 12345678910111213141516171819 |
- let plugin = new arm.Plugin();
- let h1 = new zui.Handle();
- let h2 = new zui.Handle();
- plugin.drawUI = function(ui) {
- if (ui.panel(h1, "Console")) {
- ui.indent();
- ui.row([8/10, 2/10]);
- var t = ui.textInput(h2);
- if (ui.button("Run")) {
- try { arm.Log.trace("> " + t); eval(t); }
- catch(e) { arm.Log.trace(e); }
- }
- for (const t of arm.Log.lastTraces) ui.text(t);
- ui.unindent();
- }
- }
|