Ah oui la personnalisation, je connais, et j'ai même pas mal fait joujou avec.Agent virtuel a écrit : ↑01 oct. 2022, 06:43 Bonjour
Personnaliser les boutons et barres d’outils de Firefox https://support.mozilla.org/fr/kb/perso ... ls-firefox
Mais le bouton du menu hambourgeois, il ne réagit pas au glissé de souris dans ce contexte, ou alors j'ai loupé quelque chose.
Il faudra s'y prendre autrement, alors j'ai supposé qu'il devait y avoir une case à cocher quelque part dans les paramètres.
Sinon il faudra attaquer ça par la feuille de style. C'est comment, déjà, en CSS, largeur de la fenêtre moins celle du bouton ?
Ah oui je me suis rappelé ça, et j'avais oublié où c'était.Je suppose que vous décrivez, browser.uiCustomization.state viewtopic.php?t=148775
Ça peut servir, même si ça ne sera pas forcément pour ce dont nous étions en train de parler.
De toute manière, une fois qu'on a cliqué (même si c'est sans le faire exprès) sur "configuration par défaut", il n'y a plus rien là-dedans, si je ne m'abuse.