Geckozone

Bonjour

FireFox 74.0 (64bits)

Dans la barre de menus, j'avais pris l’habitude d'organiser mes icône d'extensions par groupes et de les séparer par des espaces.
Mais depuis peu (lors d'une mise à jour ?) elle sont toutes regroupées et la fenêtre de recherche est inutilement trop large.
J'ai beau rajouter des espaces flexibles via la personnalisation, cela n'a aucun effet !
Je ne trouve pas comment utiliser la fonction "extensible" ou "flexible" de ces espaces.
SVP, comment faire ?
Merci

Bonjour,

Pour mieux visualiser pouvez-vous nous aider en mettant des copies écrans ?

Avec un problème d’agencement, c’est le fichier prefs.js dans le profil qu’il faut aller voir.
Vous pouvez l’ouvrir avec le Bloc Note, ou un autre logiciel de ce type LibreOffice, etc.

Faites attention de ne pas déclarer le logiciel de lecture du fichier, comme logiciel par défaut, prenez le temps lire ce qu’il y a à l’écran avant de cliquer sur un bouton.

En ouvrant le fichier prefs.js, fichier qui contient tous vos choix d’options et d’agencement, vous pourrez supprimer les lignes qui concernent l’agencement et redémarrer Firefox, il vous faudra donc recommencer votre agencement.

Les lignes pour les options sont courtes avec trois à quatre mots séparés d’un point se finnisant avec un true, un false, ou un N°.
Les lignes d’agencement sont interminables avec le mot : Customization et plein de barres obliques.

Pensez quand même à sauvegarder avant de supprimer, dans le cas hypothétique ...

Cordialement.

Bonjour !

Mes excuses de ne pas avoir répondu plus tôt !

En fait, j'aurais du mettre en titre "comment modifier/agrandir un espace flexible" !

Donc voilà ce que j'avais "avant", capture sur mon PC portable, et que j'aimerais retrouver (icônes séparées par des espace -flèches rouges) :



Et voilà ce que j'ai sur mon PC de bureau (icônes regroupées, sans espaces) :


Merci !

Bon confinement ...

Bonjour,

rol a écrit : 28 mars 2020, 11:10 Je ne trouve pas comment utiliser la fonction "extensible" ou "flexible" de ces espaces.

D'après ce que je comprend (je ne les utilise pas) ,en fait ils sont flexible d'une largeur maxi, tant qu'il n'y a pas trop d'éléments sur la barre.
Une fois qu'un trop grand nombre d'individu envahi l'espace, ils diminuent proportionnellement à l'encombrement restant, tout comme la barre d'adresse, jusqu'à leur valeur mini (1px).

Mais justement ce qui m'interpelle sur ta capture 2 (bureau) c'est que ta barre d'adresse n'a pas l'air de diminuer, d'ailleurs tu le dis

rol a écrit : 28 mars 2020, 11:10 Mais depuis peu (lors d'une mise à jour ?) elle sont toutes regroupées et la fenêtre de recherche est inutilement trop large.

alors que les "espaces" sont au mini, et que le bouton de dépassement [>>] est présent...

rol a écrit : 06 avr. 2020, 12:04 En fait, j'aurais du mettre en titre "comment modifier/agrandir un espace flexible" !

Quoiqu'il en soit y a moyen de faire ça avec le fichier userChrome.css.
Je sais pas si tu connais, donc au cas où voilà par exemple pour faire
(juste pour actualiser un peu la chose, le dossier chrome n'existe plus par défaut, donc faire comme indiqué dans ma Remarque en fin de l'encadré)
(deuxième juste, appliquer aussi ça viewtopic.php?p=887625#p887625 voir que le début jusqu'au deuxième point Taper... et Rechercher...)

Et voilà pour le ptit code à coller dans ce fichier: bien sûr tu y colle la valeur qui te va (30px)

Après on peut aussi verrouiller la largeur de la barre d'adresse, et on peut même aller jusqu'à leur donner une apparence,par exemple en restant sobre: