Lars 00aecf692d UI Texteditor merkt sich den Inhalt bei Umschalten		2025-12-11 15:12:30 +01:00
..
ui.py	UI Texteditor merkt sich den Inhalt bei Umschalten	2025-12-11 15:12:30 +01:00