CodeMirror gerne mal nicht initialisiert

Unter Safari am Mac tritt es bei mir relativ häufig auf, dass der CodeMirror-Editor nicht sauber initialisiert wird, wenn ich in diesen Tab wechsle. Das tritt zwar nicht immer auf, aber relativ häufig, wenn ich den Editor nicht per Direktlink auf diesen Tab aufrufe, sondern normal per Stil bearbeiten > Erweiterte Einstellungen. Dann sind nur leere Eingabefelder sichtbar, die suggerieren, dass der Editor keinen Inhalt hat. Erst per Klick in ein solches Textfeld initialisiert sich der Editor dann.

Ist schon relativ lang so, kam nur nie dazu, das zu melden. Ich meine, das kam mit 5.3. Eine Fehlermeldung in der Konsole gibt es nicht.