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.


Pack débutant WWDC 2018

Devenez programmeur iPhone pour la sortie de iOS 12

! Dernier jour de promo !

Ce pack spécial WWDC 2018 contient tout le nécessaire pour apprendre à programmer, vous spécialiser en programmation iPhone/iPad et vous préparer pour la sortie de iOS 12 à l’automne.

Il rassemble 5 cours et l’accès à plusieurs services d’aide et d’accompagnement pour vous aider à devenir un programmeur.

9 modules sont inclus dans ce pack pour vous fournir le meilleur dispositif éducatif pour vous apprendre à coder, suivre votre progression et vous aider à tout moment dans votre apprentissage.

Au prix habituel de 330 € ce pack vous est proposé en accés limité au prix de 59 €

Pour découvrir l’offre c’est ici


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