!7
sS snippetID;
sS savedText, remoteText;
static EditorFrame e;
import org.fife.ui.rsyntaxtextarea.*;
sclass JavaXTokenizer extends AbstractTokenMaker {
/**
* Returns a list of tokens representing the given text.
*
* @param text The text to break into tokens.
* @param startTokenType The token with which to start tokenizing.
* @param startOffset The offset at which the line of tokens begins.
* @return A linked list of tokens representing text.
*/
public Token getTokenList(Segment text, int initialTokenType, int startOffset) {
}
}
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_v2(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);
}
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());
}