Merci für Deine Infos…wieder was gelernt! :-) Stimmt schon, es ist jetzt nicht extrem störend, aber...

…ich editiere just meine neue Website und durch das ständige Aktualisieren
geht es einem nach gewisser Zeit doch ein wenig auf den Keks.

Natürlich könnte ich den Browser wechseln, aber der alte Safari funzt unter
10.8.5 nicht wirklich gut und Chrome mag ich nicht. Opera geht auch nicht
und der neue Vivaldi läuft nur als Beta unter 10.8. …leider. Wenn ich
auf ein neues OS wechsel, dann wechsel ich pronto zu Vivaldi. Dessen Grafik-
Engine ist einfach klasse.
----------
Beste Grüße von Krabat