Datei neu laden mit Taste "R"

[tsduser]

Moin,
diesmal kein kleinteiliger Vorschlag, sondern (in meinen Augen) ein (kleinteiliger) Bug:
Versucht man in 4.2.11, per Taste "R" eine zuvor geoeffnete Datei erneut zu laden, so erscheint (korrekterweise) eine Fehlermeldung, wenn die Datei nicht mehr gefunden werden kann.
So weit, so gut.
Allerdings funktioniert in der TSD-Sitzung nach Bestaetigung der Meldung dann nur noch die "Hilfe" im Menue; alle anderen Punkte sind ausgegraut. Auch "Esc" oder andere Tasten gehen nicht; es hilft nur noch das Schliessen der TSD-Sitzung.

(Beim erneuten Ladeversuch einer nicht mehr existierenden Datei aus der Liste "Zuletzt geöffnet"er Dateien tritt dieses Problem uebrigens nicht auf.)

[Cypheros]

Ist in der 4.2.12 gefixt. Danke für den Hinweis und die genaue Beschreibung fürs Reproduzieren.