… weiß man ja, was zu tun ist: externe Geräte ab, Neustart, Fontmanager aus, Prefs. + Cache löschen, also all die Prozeduren, um Fehlerquellen auszuschließen. Das es an Safari liegt, komsich, aber vielleicht ist es ein mystery Shortcut gewesen.

Ich musste ID 19.01 jedenfalls 2 x neuinstallieren, bevor ich wieder die alte Funktionalität wiedererlangt hatte.
Zeitweise fehlten bei ID auch ganze Menüpunkte wie Einstellungen.

Also mal beaobachten