Ja natürlich, ohne Punkt, Tippfehler, wahrscheinlich habe ich schon geschlafen...
Man denkt ja immer, daß die Mozilla Programme unabhängig vom OS laufen, und das stimmt ja auch zu 99%. Aber manchmal ist doch irgendwas anders, was man auch mit viel Sucherei nicht findet, ich denke da an die Funktion "Titelleiste ausblenden", was erst nicht funktionierte, später aber doch noch.
Na ja, ist ja nur Kosmetik. Bis auf diese Unschönheit ist mein Browser jetzt perfekt, ESR kann kommen.
Schönes Wochenende...