Clear the undo history in the code editor when opening a new file

pull/130/head
James Ball 2022-09-20 21:16:12 +01:00 zatwierdzone przez James H Ball
rodzic 9fab198fb1
commit cf56c510ea
1 zmienionych plików z 4 dodań i 1 usunięć

Wyświetl plik

@ -33,7 +33,10 @@ public class CodeEditor extends StackPane {
this.newFile = true;
JSObject window = (JSObject) webview.getEngine().executeScript("window");
window.setMember("newCode", editingCode);
webview.getEngine().executeScript("editor.setValue(newCode);");
webview.getEngine().executeScript("""
editor.setValue(newCode);
editor.clearHistory();
""");
}
public void updateCode() {