Fläche zum Ziehen via userChrome.css einblenden

Im Artikel «Firefox-Tuning für Fortgeschrittene» (1574934) haben wir ausführlich beschrieben, wie Sie eine Firefox-Konfigurationsdatei namens userChrome.css erstellen und haben Ihnen für diese ein paar Codeschnipsel gezeigt, mit denen Sie bestimmte Bereiche in der Bedienoberfläche anpassen.

Hier zeigen wir nun, was Sie in der userChrome.css eintragen können, um wieder eine permanente Fläche zum Ziehen zu erhalten. Das Aufgleisen der userChrome.css wiederholen wir hier im Schnelldurchgang: Gehen Sie zu Firefox-Menü/Hilfe/Weitere Informationen zur Fehlerbehebung. Klicken Sie hinter Profilordner auf Ordner öffnen. Erstellen Sie dort einen neuen Ordner, den Sie chrome nennen. Öffnen Sie ihn und erstellen Sie darin mit dem Notepad-Editor eine Text-Datei mit Namen userChrome.css. Fügen Sie folgenden Code ein, den die Autorin bei einem User auf Reddit entdeckt und mit Erfolg ausprobiert hat:

/* Drag Space bzw. Flaeche zum Ziehen zurueckbekommen */
:root[sizemode="normal"] #toolbar-menubar,
:root[sizemode="normal"] #toolbar-menubar[autohide="true"][inactive="true"] + toolbar{ padding-top: 9px !important; }
:root[sizemode="normal"] .titlebar-buttonbox-container{ margin-top: -9px !important; }

Im Editor sieht der Code etwa wie folgt aus:

Speichern Sie die Datei. Damit Firefox die Datei auch wirklich nutzt, müssen Sie eine Funktion aktivieren. Tippen Sie in der Firefox-Adresszeile about:config ein (gefolgt von Enter), klicken Sie auf Risiko akzeptieren und fortfahren. Tippen Sie im Filterfeld userprof ein. Es bleibt der Eintrag toolkit.legacyUserProfileCustomizations.stylesheets stehen. Schalten Sie ihn per Klick auf den Doppelpfeil am Zeilenende von false auf true um.

Starten Sie den Firefox neu, haben Sie oberhalb der Tabs einen etwas breiteren Rand, der sich auch wieder per Maus schnappen und ziehen lässt.

Wie lange dieser Trick funktionieren wird, muss sich erst noch zeigen.