Korben, roi d’internet, logo bébé avec des lunettes en mode thug life Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Korben Upgrade your mind

Comment augmenter la taille des onglets Firefox ?

Apparemment, la nouvelle version 57 de Firefox provoque un petit désagrément au niveau de la taille des onglets. En effet, lorsqu’on en ouvre un très grand nombre, ils deviennent de plus en plus petits, ce qui rend impossible la lecture de ce qu’il y a d’écrit sur l’onglet.

Heureusement, 2 super lecteurs, Godefroy et Alexis m’ont envoyé des emails pour me proposer cette astuce que je partage avec vous.

Pour fixer vous-même la taille des onglets et ainsi régler le souci, 2 possibilités s’offrent à vous. La première consiste à changer le thème via le menu « Personnaliser » de Firefox, pour augmenter la densité.

Si cela ne vous convient pas, vous pouvez aussi taper dans la barre d’adresse :

about:config

Puis rechercher la clé :

browser.tabs.tabMinWidth

Augmentez ensuite la valeur de la clé à votre convenance pour avoir des onglets un peu plus grands. Entre 110 et 180 c’est une bonne taille. Et pas besoin de relancer le navigateur, maintenant ça s’applique en live !

Et voilà le résultat ! C’est beaucoup mieux non ?

 

Encore merci à Alexis et à Godefroy pour l’astuce.



Réponses notables

  1. Tokxik says:

    pas mal mais comment on fait pour les arrondir comme avant quoi ;/ je m’y fais pas trop en fait …

  2. Tree Style tab pour les passer en latétral sous forme d’arbre et un coup de css dans userChrome.css pour cacher la barre native en attendant un fix d’API

  3. Tout est tracé à la latte…!

  4. Toujours dans le userChrome.css:

    #tabbrowser-tabs .tabbrowser-arrowscrollbox,
    #tabbrowser-tabs .arrowscrollbox-scrollbox {
    display: block;
    }

    .scrollbutton-up,
    .arrowscrollbox-overflow-start-indicator,
    .scrollbutton-down,
    .arrowscrollbox-overflow-end-indicator {
    display: none !important;
    }

    #tabbrowser-tabs .arrowscrollbox-scrollbox .scrollbox-innerbox {
    display: flex;
    flex-wrap: wrap;
    /*
    display: block;
    /
    overflow-y: auto !important;
    min-height: var(–tab-min-height); /
    default /
    max-height: calc(5
    var(–tab-min-height)) !important;
    }
    #tabbrowser-tabs .tabbrowser-tab:not([pinned]) {
    flex-grow: 1;
    flex-wrap:wrap;
    min-width: 150px;
    vertical-align: bottom !important;
    }
    #tabbrowser-tabs .tabbrowser-tab,
    #tabbrowser-tabs .tabbrowser-tab .tab-stack .tab-background {
    height: var(–tab-min-height);
    }

    #tabbrowser-tabs .tabbrowser-tab .tab-stack {
    width: 100%;
    }

    #titlebar-buttonbox {
    display: block !important;
    vertical-align: top !important;
    }

    #main-window[tabsintitlebar] #tabbrowser-tabs {
    -moz-window-dragging: no-drag;
    }

  5. pardon, c’est pour avoir les onglets sur plusieurs lignes :slight_smile:

    petite lacune, chez moi en tout cas, je ne peux pas scroller avec la souris dans les onglets

Continuer la discussion sur Korben Communauté

6 commentaires supplémentaires dans les réponses

Participants

Comment découper une carte SIM sans la bousiller

vec certains téléphone, ça devient une vraie galère au niveau des cartes SIM. Entre la SIM classique (MiniSIM), la MicroSIM et la NanoSIM, difficile de s’y retrouver et surtout de passer d’une plus grande à une plus petite sans devoir attendre que les opérateurs veuillent bien se donner la peine de vous l’envoyer…

Lire la suite


6 outils pour cloner un disque dur sous Windows et Linux

Cloner c’est facile… Bon, ok, cloner un bébé, c’est déjà plus complexe mais un disque dur, c’est l’enfance de l’art… Alors bien sûr le logiciel le plus connu pour ça, est Ghost de Symantec mais au prix de 999,99 euros HT (j’déconne, je ne connais pas le prix en vrai), c’est déjà plus rentable de se mettre à cloner son petit frère artisanalement dans le garage…

Lire la suite