feat: F4.6f2 the text editor on the document's Y.Text, files both ways while the simulation runs

Oracle TextEditorWindowRun uses Java's text editor window and its file
dialog as a person does. The open file's text is its Y.Text in the
document (plan 7.3): typed is in the file at once, for everyone and for
the running engine. Core openText/saveTextAs without Java's mistakes
(lost saves after save-as onto a file or a removed file, files named
'ordner/d.txt' or ''); doc files.ts (changeFiles, fileText, nodeFiles,
readFilesInto); the room takes a person's files into the engine at once
and writes the engine's files back at the tick they changed; the editor's
window, Java's dialog, the text area following others' changes with the
caret in place, its own undo.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
2026-10-03 17:50:27 +00:00
co-authored by Claude Opus 5.5
parent 3d6655e736
commit 2c7733b575
29 changed files with 3268 additions and 76 deletions
+22
View File
@@ -122,6 +122,15 @@
"emailServer.username": "Benutzername:",
"emailServer.whiteSpace": "Der Benutzername darf keine Leerzeichen enthalten!",
"emailServer.yes": "Ja",
"fileDialog.cancel": "Abbrechen",
"fileDialog.entries": "Inhalt des Ordners",
"fileDialog.folder": "Ordner:",
"fileDialog.name": "Dateiname:",
"fileDialog.open": "Öffnen",
"fileDialog.openTitle": "Datei Öffnen",
"fileDialog.save": "Speichern",
"fileDialog.saveTitle": "Datei Speichern",
"fileDialog.up": "Ordner aufwärts",
"firewall.accept": "akzeptieren",
"firewall.action": "Aktion",
"firewall.active": "Firewall aktivieren",
@@ -257,6 +266,19 @@
"terminal.interrupt": "Befehl abbrechen (Strg+C)",
"terminal.next": "Nächster Befehl",
"terminal.previous": "Vorheriger Befehl",
"textEditor.folderMissing": "Den Ordner für „{name}“ gibt es nicht.",
"textEditor.gone": "Die Datei „{name}“ wurde gelöscht. Der Text ist noch da; „Speichern“ legt ihn als neue Datei ab.",
"textEditor.invalidName": "„{name}“ ist kein zulässiger Dateiname.",
"textEditor.isFolder": "„{name}“ ist ein Ordner.",
"textEditor.new": "Neu",
"textEditor.noName": "Geben Sie einen Dateinamen ein.",
"textEditor.notFound": "Die Datei „{name}“ gibt es nicht.",
"textEditor.notText": "„{name}“ ist keine Textdatei.",
"textEditor.open": "Öffnen",
"textEditor.save": "Speichern",
"textEditor.saveAs": "Speichern unter",
"textEditor.savedLive": "Was Sie tippen, steht sofort in der Datei.",
"textEditor.text": "Text",
"webServer.folder": "Unterverzeichnis",
"webServer.hostName": "Hostname",
"webServer.useVirtualHosts": "Verwende virtuelle Hosts",