Wenn ich mit vielen Textdateien hantieren muß, nehme ich gerne gedit (in Version 3.28.1 hier unter Xubuntu 18.04 LTS), u.a. wegen seiner Funktion „Auto-Speichern von Dateien alle X Minuten“. (Zu finden unter Einstellungen, zweiter Reiter Editor.)
Leider habe ich nun festgestellt, daß manchmal, wenn ich Gedit gestartet habe, er diese Funktion nicht ausführt, d.h. die geöffneten und veränderten Dateien bleiben ungespeichert und im Reiter daher mit einem Stern markiert.
Ein Muster, wann Auto-Speichern geht und wann nicht, konnte ich bisher nicht entdecken, nur daß es pro Sitzung (also pro einmal gestartetem Gedit) jeweils entweder geht oder nicht geht, d.h. der Editor wechselt dieses Verhalten nicht während einer Sitzung, sondern höchstens beim nächsten neuen Starten des Editors wieder.
Weiß jemand mehr darüber? Danke schon im Voraus.