Files
mdg-filius/packages/sim/test/textEditorWindow.java.json
T
julian.kiedaischandClaude Opus 5.5 2c7733b575 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>
2026-10-03 17:50:27 +00:00

1276 lines
25 KiB
JSON

{
"steps": [
{
"step": "open",
"title": "Text-Editor",
"text": "",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
]
]
},
{
"step": "save new as notiz.txt",
"title": "Text-Editor - notiz.txt",
"text": "Erste Zeile\nZweite Zeile",
"dialog": [
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"Erste Zeile\nZweite Zeile"
]
]
},
{
"step": "save",
"title": "Text-Editor - notiz.txt",
"text": "Erste Zeile\nZweite Zeile\nDritte Zeile",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"Erste Zeile\nZweite Zeile\nDritte Zeile"
]
]
},
{
"step": "changed outside, nothing typed",
"title": "Text-Editor - notiz.txt",
"text": "von außen",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"von außen"
]
]
},
{
"step": "changed outside after typing",
"title": "Text-Editor - notiz.txt",
"text": "getippt",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
]
]
},
{
"step": "open ordner/b.txt by double clicks",
"title": "Text-Editor - b.txt",
"text": "",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: ordner",
"Dateiname:"
],
"entries": [
"Datei;b.txt"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: ordner",
"Dateiname:"
],
"entries": [
"Datei;b.txt"
],
"name": "b.txt",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "dialog: folder and up, cancelled",
"title": "Text-Editor - b.txt",
"text": "",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: ordner",
"Dateiname:"
],
"entries": [
"Datei;b.txt"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "open NOTIZ.TXT",
"title": "Text-Editor - notiz.txt",
"text": "wieder von außen",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "open ordner/b.txt by name",
"title": "Text-Editor - b.txt",
"text": "",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "open fehlt.txt",
"title": "Text-Editor",
"text": "",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save without a file, cancelled",
"title": "Text-Editor",
"text": "",
"dialog": [
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "open without a name",
"title": "Text-Editor",
"text": "",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "open the web server's image",
"title": "Text-Editor - splashscreen-mini.png",
"text": "iVBORw0KGgoAAAANSUhEUgAAAIAAAABgCAYAAADVenpJAAAAAXNSR0IArs4c6QAAAARnQU1BAACx\njwv8YQUAAAAgY0hSTQAAeiYAAICEAAD6AAAAgOgAAHUwAADqYAAAOpgAABdwnLpRPAAAAB90RVh0\nU29mdHdhcmUATWFjcm9tZWRpYSBGaXJld29ya3MgOLVo0n… (8397 characters)",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: webserver",
"Dateiname:"
],
"entries": [
"Datei;index.html",
"Datei;splashscreen-mini.png"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Öffnen",
"labels": [
"Ordner: webserver",
"Dateiname:"
],
"entries": [
"Datei;index.html",
"Datei;splashscreen-mini.png"
],
"name": "splashscreen-mini.png",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"wieder von außen"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save as NOTIZ.TXT over notiz.txt",
"title": "Text-Editor - NOTIZ.TXT",
"text": "vor dem Speichern unter",
"dialog": [
{
"title": "Datei Öffnen",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Öffnen",
"Abbrechen"
]
},
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save after save as over a file",
"title": "Text-Editor - NOTIZ.TXT",
"text": "nach dem Speichern unter",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save as ordner/c.txt",
"title": "Text-Editor - c.txt",
"text": "neu im Ordner",
"dialog": [
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
},
{
"title": "Datei Speichern",
"labels": [
"Ordner: ordner",
"Dateiname:"
],
"entries": [
"Datei;b.txt"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
],
[
"/ordner/c.txt",
"text",
"neu im Ordner"
]
]
},
{
"step": "save after save as a new file",
"title": "Text-Editor - c.txt",
"text": "neu im Ordner, geändert",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
],
[
"/ordner/c.txt",
"text",
"neu im Ordner, geändert"
]
]
},
{
"step": "open file removed",
"title": "Text-Editor - c.txt",
"text": "neu im Ordner, geändert",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save after the file was removed",
"title": "Text-Editor - c.txt",
"text": "nach dem Löschen",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
]
]
},
{
"step": "save as ordner/d.txt",
"title": "Text-Editor - ordner/d.txt",
"text": "nach dem Löschen",
"dialog": [
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
],
[
"/ordner/d.txt",
"text",
"nach dem Löschen"
]
]
},
{
"step": "save as without a name",
"title": "Text-Editor",
"text": "nach dem Löschen",
"dialog": [
{
"title": "Datei Speichern",
"labels": [
"Ordner: root",
"Dateiname:"
],
"entries": [
"Ordner;webserver",
"Datei;notiz.txt",
"Ordner;ordner",
"Datei;ordner/d.txt"
],
"name": "",
"buttons": [
"Ordner aufwärts",
"",
"",
"",
"",
"Speichern",
"Abbrechen"
]
}
],
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
],
[
"/ordner/d.txt",
"text",
"nach dem Löschen"
],
[
"/",
"text",
"nach dem Löschen"
]
]
},
{
"step": "new",
"title": "Text-Editor",
"text": "",
"files": [
[
"/webserver/",
"folder",
""
],
[
"/webserver/index.html",
"html",
"(538 characters)"
],
[
"/webserver/splashscreen-mini.png",
"png",
"(8397 characters)"
],
[
"/notiz.txt",
"text",
"vor dem Speichern unter"
],
[
"/ordner/",
"folder",
""
],
[
"/ordner/b.txt",
"text/txt",
"(0 characters)"
],
[
"/ordner/d.txt",
"text",
"nach dem Löschen"
],
[
"/",
"text",
"nach dem Löschen"
]
]
}
]
}