!7

// What are we editing?
static O editing; // File or snippet ID
sS remoteText;

sS savedText;
static EditorFrame e;
static int caretPos;
static SimpleLiveValue<O> lvEditing = new(O.class);
static int fontSize = 16;
static AutoCompletion autoCompletion;
static ReliableSingleThread rstAutoComplete = new(f installAutoComplete);
sbool installAutoComplete_first;
static Set<S> autoComplete_lastSet;
static DynamicHStack smartArea;

p-substance {
  autoRestart();
  load('savedText);
  load('fontSize);
  
  e = new EditorFrame;
  e._setFontSize(fontSize);
  rstAutoComplete.trigger();
  onChange(e.textArea, rTrigger(rstAutoComplete));
  
  addToWindowWithMargin(e, jHigherScrollPane(jfullcenter(smartArea = dynamicHStack())));
  
  e.setText(savedText);
  load('caretPos);
  setCaretPosition(e.textArea, caretPos);
  showFrame(e);
  frameIcon(e, #1101185 /*#1004655*/);
  
  addMenu(e, "New", "New text", f newText);

  addMenu(e, "Load", "Open snippet...", r {
    selectSnippetID(vf1(f _loadSnippet));
  }, "Open file...", r {
    selectFile("File to open", vf1(f _loadFile));
  });
  
  addMenu(e, "Save", mapLiveValue(func(O editing) -> S {
    editing instanceof S ? "Save snippet " + editing
      : editing instanceof File ? "Save file " + f2s((File) editing)
      : "Save" }, S.class, lvEditing), r { saveThen(null) });
  
  addMenu(e, "Transpile",
    "Save & Quick Transpile", r { transpile(false) },
    "Save & Medium Transpile", r { transpile(true) });
  addMenu(e, "Activate", "Butter-Reload", f _butterReload);
  
  addMenu(e, "View",
    "Bigger font", r { e._setFontSize(setAndSave(fontSize := e._getFontSize()+1)) },
    "Smaller font", r { e._setFontSize(setAndSave(fontSize := max(1, e._getFontSize()-1))) });
  
  O editing = cast readPersistentVar('editing);
  if (editing instanceof S) _loadSnippet_noSet((S) editing);
  else if (editing instanceof File) _loadFile_noSet((File) editing);

  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);
  setAndSaveIfChanged(caretPos := getCaretPosition(e.textArea));
    
  if (!full) ret;
  S status = remoteText != null && neq(remoteText, text) ? "Changes. " : "";
  Pair<Int, S> p = testBracketHygieneExt(text);
  status += p == null ? "Hygienic" : p.b;
  silentStatus(trim(status));
}

svoid status(S s) { silentStatus(infoBoxAndReturn(s)); }
svoid silentStatus(S s) { e.setStatus(s); }

svoid saveThen(final Runnable next) {
  fS text = getText(e.textArea);
  if (editing instanceof S) {
    status("Saving snippet...");
    thread {
      fS page = editSnippet((S) editing, text);
      remoteText = text; // TODO: check save result
      status("Saved snippet: " + page);
      awtCallF(next);
    }
  } else if (editing instanceof File) {
    status("Saving file...");
    thread {
      saveTextFile((File) editing, text);
      remoteText = text;
      status("Saved file");
      awtCallF(next);
    }
  }
}

svoid _butterReload() {
  time { butterReload((S) editing); }
  infoBox("Reloaded in " + lastTiming_format100ms());
}

svoid transpile(final bool medium) { saveThen(r { _transpile(medium) }); }

svoid _transpile(final bool medium) {
  status("Transpiling...");
  //jdisable(btnEleuReload);
  
  thread "Transpiling" {
    try {
      final Pair<Bool, S> p = transpileOnServer((S) editing, 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);
  e.textArea.setText(remoteText);
}

svoid _loadSnippet_noSet(S snippetID) {
  remoteText = loadSnippet(snippetID);
  setAndSave('editing, snippetID);
  lvEditing.set(snippetID);
  frameTitle(e, snippetID + " - " + snippetTitle(snippetID));
}

svoid _loadFile(File f) {
  _loadFile_noSet(f);
  e.textArea.setText(remoteText);
}

svoid _loadFile_noSet(File f) {
  remoteText = loadTextFile(f);
  setAndSave('editing, f);
  lvEditing.set(f);
  frameTitle(e, f2s(f));
}

svoid newText {
  setAndSave(editing := null);
  lvEditing.set(null);
  remoteText = null;
  S lastText = e.getText();
  if (nempty(lastText)) logQuotedWithDate("saved-texts.log", lastText);
  e.setText("");
  frameTitle(e, programTitle());
}

svoid cleanMeUp { update(false); }

svoid installAutoComplete {
  if (installAutoComplete_first) installAutoComplete_first = false;
  else sleep(500); // don't update too often
  
  temp tempMiniLoadingAnim();

  Set<S> set = concatListsToSet(allJavaKeywords(), standardFunctionNames(), deepWords(getText(e.textArea)));
    
  if (eq(set, autoComplete_lastSet)) ret;
  autoComplete_lastSet = set;
  
  final new DefaultCompletionProvider provider;
  provider.addCompletions(map(func(S s) { new BasicCompletion(provider, s) }, set));
    
  swing {
    if (autoCompletion == null) {
      (autoCompletion = new AutoCompletion(provider)).install(e.textArea);
      call(autoCompletion, 'setHideOnCompletionProviderChange, false);
    } else
      autoCompletion.setCompletionProvider(provider);
  }
}

Began life as a copy of #1015549