Warning: session_start(): open(/var/lib/php/sessions/sess_2g2qneeesg3ic6u6v14p4344ao, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
sS snippetID;
sS savedText, remoteText;
static int caretPos;
static EditorFrame e;
p-substance {
autoRestart();
load("savedText caretPos");
e = new EditorFrame;
print("Input map: " + className(e.getTextArea().getInputMap());
e._setFont(deriveFont(e._getFont(), 16));
thread { installAutoComplete(); }
e.setText(savedText);
setCaretPosition(e.textArea, caretPos);
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_noSet(snippetID); // We have savedText already
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) {
_loadSnippet_noSet(snippetID);
setText(e.textArea, remoteText);
}
svoid _loadSnippet_noSet(S snippetID) {
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());
setAndSave(caretPos := getCaretPosition(e.textArea));
}
svoid installAutoComplete {
temp tempMiniLoadingAnim();
import org.fife.ui.autocomplete.*;
final new DefaultCompletionProvider provider;
provider.addCompletions(map(func(S s) { new BasicCompletion(provider, s) },
concatLists(allJavaKeywords(), standardFunctionNames())));
swing { new AutoCompletion(provider).install(e.textArea); }
}