Breite Scrollleiste festlegen

[Christian @Soemtron]

Hi,

ist das eigentlich allgemein so gewünscht (z.Z. FF102 ESR)?
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.
Ich finde das ziemlich unsinnig und hätte die lieber konstant breit.
Folgendes Userscript funktioniert ansonsten gut und legt u.a. eine
maximale Breite fest:

Components.utils.import("resource://gre/modules/Services.jsm");
var ss = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService);
var
uri = Services.io.newURI("data:text/css;charset=utf-8," + encodeURIComponent('\@namespace html url("http://www.w3.org/1999/xhtml");\
scrollbar thumb {\
-moz-appearance: none !important;\
background-color: #BBBBBB !important;\
border-radius: 20px !important;\
border: 1px solid #888888 !important;}\
scrollbar thumb:hover, scrollbar thumb:active {\
-moz-appearance: none !important;\
background-color: #888888 !important;}\
scrollbar[orient="vertical"] scrollbarbutton {\
width: 13px !important;\
max-width: 13px !important;}\
scrollbar[orient="horizontal"] scrollbarbutton {\
height: 13px !important;\
max-height: 13px !important;}'), null, null);
ss.loadAndRegisterSheet(uri, ss.AGENT_SHEET);

cu,
Christian

PGP Key available.

[Thomas Schade]

Post by Christian @Soemtron
ist das eigentlich allgemein so gewünscht (z.Z. FF102 ESR)?
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.
Ich finde das ziemlich unsinnig und hätte die lieber konstant breit.
Folgendes Userscript funktioniert ansonsten gut und legt u.a. eine

Unter Windows 11 bleiben die Rollleisten stabil und ändern ihre Größe nicht.


Ciao
Toscha

[Frank Miller]

Post by Thomas Schade

Post by Christian @Soemtron
ist das eigentlich allgemein so gewünscht (z.Z. FF102 ESR)?
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.
Ich finde das ziemlich unsinnig und hätte die lieber konstant breit.
Folgendes Userscript funktioniert ansonsten gut und legt u.a. eine

Unter Windows 11 bleiben die Rollleisten stabil und ändern ihre Größe nicht.

Unter einem alten Linux Mint Debian ebenfalls.

[Joerg Lorenz]

Post by Thomas Schade

Post by Christian @Soemtron
ist das eigentlich allgemein so gewünscht (z.Z. FF102 ESR)?
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.
Ich finde das ziemlich unsinnig und hätte die lieber konstant breit.
Folgendes Userscript funktioniert ansonsten gut und legt u.a. eine

Unter Windows 11 bleiben die Rollleisten stabil und ändern ihre Größe nicht.

Beim 115.0.2 (64-Bit) auf dem Mac ebenfalls nicht. Haben auch frühere
Versionen AFAIK nicht. Ich sehe dann später mal auf einem meiner
Linux-Rechnern nach.

[Joerg Lorenz]

Post by Joerg Lorenz
Ich sehe dann später mal auf einem meiner
Linux-Rechnern nach.

Redundant. Frank hat das schon erledigt.

[Jens Schüßler]

Post by Christian @Soemtron
Hi,
ist das eigentlich allgemein so gewünscht (z.Z. FF102 ESR)?
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.

Kann ich hier auf einem Debian-Rechner mit FF102.13 ESR nicht
reproduzieren.
Auch nicht mit einem völlig jungfräulichem Profil. Der ebenfalls
installierte 115er macht das auch nicht und ich habe das auch noch nie
gesehen.

Post by Christian @Soemtron
Ich finde das ziemlich unsinnig und hätte die lieber konstant breit.
Folgendes Userscript funktioniert ansonsten gut und legt u.a. eine

Ich würde ja zuerst mal bei deinen Userscripts ansetzen und alle
ausschalten, ebenso eventuell vorhandene userChrome.css, Addons usw.

[Christian @Soemtron]

Post by Jens Schüßler

Post by Christian @Soemtron
Beim Vergrößern einer Seite ("Zoom") werden auch die Scrollleisten
vergrößert.

Ich würde ja zuerst mal bei deinen Userscripts ansetzen und alle
ausschalten, ebenso eventuell vorhandene userChrome.css, Addons usw.

Das meinte ich probiert gehabt zu haben. Fehlalarm - es liegt tatsächlich
an dem geposteten Userscript. :-#

Also ändert sich die Frage dahingehend, was an dem Userscript geändert
werden könnte. Ich finde es kurios, daß die Breite beim Verkleinern einer
Seite (Zoom-out) nicht kleiner wird. Das, obwohl kein "min-width"/"min-
height" festgelegt ist. "max-..." steht drin, wird aber eben
offensichtlich ignoriert.

cu,
Christian

PGP Key available.