Dernier message de la page précédente :
Hervé-P a écrit :— Doit manquer une ligne de code car “ça marche pô !” Est-ce que ça marcherait si on a installé l'extension “colorfulTabs” (Waterfox)Mintalo a écrit :Dans la v57, vous remarquerez que l'onglet est surmonté d'une ligne bleue…
Dois-je répéter ce que l'on peut voir dans le titre du fil ?.......il s'agit de remplacer des p'tites choses que des extensions faisaient AVANT FF 57. Bien lire : AVANT et Firefox 57+. On ne parle plus de FF55 ou 56 ou de Waterfox.
L'extension dont tu parles n'est plus efficiente car non Webext. Et cette fameuse ligne bleue est apparue avec la v57.
Tu as l'air gentil, Hervé.....j'abrège tout ton speach à côté de la plaque.....alors, prends ton temps et relis. Je pense écrire le fr assez correctement et donner des explications.....et même les images correspondantes.Hervé-P a écrit :.... je n'ai pas cherché très longtemps : quand j'active dans “Affichage → Barres d'outils” la barre des menus, l'option est disponible....Mintalo a écrit :la ligne "Barre personnelle" ne me sert pas puisqu'elle se trouve déjà dans le clic droit et ailleurs.
Je répète donc : il s'agit de la ligne "Barre personnelle" dans la boîte des Marque-pages .
Et pour conclure, après avoir re-souligné qu'il s'agit de Firefox 57, je mets ici des scripts qui fonctionnent très bien sur mon FF 57.0b10 et c'est gratos....