!7 sS snippetID; sS savedText, remoteText; static EditorFrame e; import org.fife.ui.autocomplete.*; p-substance { autoRestart(); load('savedText); e = new EditorFrame; print("Input map: " + className(e.getTextArea().getInputMap()); e._setFont(deriveFont(e._getFont(), 16)); thread { installAutoComplete(); } e.setText(savedText); showFrame(e); frameIcon(e, #1101185 /*#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, 1000, f update); onFrameDeactivated(e, f fullUpdate); } svoid update { update(windowActive(e)); } svoid fullUpdate { update(true); } svoid update(bool full) { S text = e.getText(); setAndSaveIfChanged(savedText := text); if (!full) ret; Pair p = testBracketHygieneExt(text); S status = ""; if (remoteText != null && neq(remoteText, text)) status = "Changes. "; if (p == null) status += "Hygienic"; else { status += p.b; //setCaretPosition(ta, p.a); } silentStatus(trim(status)); } 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); remoteText = text; // TODO: check save result 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(remoteText = loadSnippet(snippetID)); setAndSave('snippetID, snippetID); frameTitle(e, snippetID + " - " + snippetTitle(snippetID)); } svoid newText { setAndSave(snippetID := null); remoteText = null; S lastText = e.getText(); if (nempty(lastText)) logQuotedWithDate("saved-texts.log", lastText); e.setText(""); frameTitle(e, programTitle()); } svoid cleanMeUp { setAndSaveIfChanged(savedText := e.getText()); } svoid installAutoComplete { final new DefaultCompletionProvider provider; loading "Loading AutoComplete data" { for (S s : concatLists( allJavaKeywords(), standardFunctionNames())) provider.addCompletion(new BasicCompletion(provider, s)); } swing { new AutoCompletion(provider).install(e.textArea); } }