!7 sS snippetID; sS savedText; static EditorFrame e; p-substance { autoRestart(); load('savedText); e = new EditorFrame; e._setFont(deriveFont(e._getFont(), 16)); e.setText(savedText); showFrame(e); frameIcon(e, #1004655); addMenu(e, "New", "New text", f newText); addMenu(e, "Load", "Load snippet...", r { selectSnippetID(vf1(f _loadSnippet)); }); addMenu(e, "Save", "Save snippet", r { saveSnippetThen(null) }); addMenu(e, "Transpile", "Save & Quick Transpile", r { transpile(false) }, "Save & Medium Transpile", r { transpile(true) }); addMenu(e, "Activate", "Butter-Reload", f _butterReload); S snippetID = cast readPersistentVar('snippetID); if (snippetID != null) _loadSnippet(snippetID); hideConsole(); awtCalcEvery(e, 2000, r { S text = e.getText(); setAndSaveIfChanged(savedText := text); Pair p = testBracketHygieneExt(text); if (p == null) silentStatus("Hygienic"); else { silentStatus(p.b); //setCaretPosition(ta, p.a); } }); } svoid status(S s) { silentStatus(infoBoxAndReturn(s)); } svoid silentStatus(S s) { e.setStatus(s); } svoid saveSnippetThen(final Runnable next) { if (empty(snippetID)) ret; fS text = getText(e.textArea); status("Saving..."); thread { fS page = editSnippet(snippetID, text); status("Saved snippet: " + page); awtCallF(next); } } svoid _butterReload() { time { butterReload(snippetID); } infoBox("Reloaded in " + lastTiming_format100ms()); } svoid transpile(final bool medium) { saveSnippetThen(r { _transpile(medium) }); } svoid _transpile(final bool medium) { status("Transpiling..."); //jdisable(btnEleuReload); thread "Transpiling" { try { final Pair p = transpileOnServer(snippetID, medium ? "medium" : "quick"); awt { if (p.a) status("Transpiled OK!"); else { status("Transpilation error. " + p.b); showText("Transpilation Error", p.b); } } } catch print e { status("Transpilation problem. " + e); } //jenable(btnEleuReload); } } svoid _loadSnippet(S snippetID) { e.textArea.setText(loadSnippet(snippetID)); setAndSave('snippetID, snippetID); frameTitle(e, snippetID); } svoid newText { setAndSave(snippetID := null); S lastText = e.getText(); if (nempty(lastText)) logQuotedWithDate("saved-texts.log", lastText); e.setText(""); frameTitle(e, programTitle()); } svoid cleanMeUp { setAndSaveIfChanged(savedText := e.getText()); }