Dossiers marque pages Gris , pas jaune

Vos requêtes concernant Mozilla Firefox, le navigateur Gecko alternatif, ne trouvèrent point de réponses lorsque vous cherchâtes ? Toute l'équipe Geckozone est prête à vous aider.

Modérateurs : myahoo, nico@nc, Mori, jpj

Répondre
HenrideSollies
Arias
Messages : 10
Inscription : 06 juin 2021, 22:39

Dossiers marque pages Gris , pas jaune

Message par HenrideSollies »

Bonjour,
Je viens de passer à la version 89 et j'ai la mauvaise surprise de découvrir que les dossiers des marque page ont perdu leur belle couleur jaune .
Ils sont devenus tristement gris .
Que faut il faire pour retrouver cette belle couleur jaune ?
Merci
Gloops
Tyrannosaurus Rex
Messages : 3816
Inscription : 22 mai 2006, 11:55

Re: Dossiers marque pages Gris , pas jaune

Message par Gloops »

Bonjour,

D'abord, une chose à savoir, il y a plusieurs façons d'accéder aux marque-pages.

J'en connais trois :
  • le menu déroulant
  • le panneau latéral (Ctrl B)
  • la boîte de dialogue bibliothèque (Ctrl Maj O)
Qui dit trois interfaces différentes, dit potentiellement la possibilité de trois jeux de couleurs différents. Et encore, si ça se trouve, il y a encore d'autres façons auxquelles je ne pense pas, et tu es sur le point de m'en signaler une.

Donc sur quoi intervenir, déjà une demande de précision.

Ensuite, sur la façon de s'y prendre, deux choses à dire :
  • on peut tout-à-fait personnaliser (pas mal de choses dans) l'interface utilisateur de Firefox ; essentiellement ça passe par un fichier userChrome.css, et il y a quatre chapitres à aborder pour le faire
  • la version 89 a provoqué ... hum, j'allais dire un tollé de protestations ; soyons diplomates, n'exagérons rien. Mais enfin une liste de modifications qui seraient bienvenues. Du coup, avant de personnaliser son interface, peut-être serait-il raisonnable que ces modifications se stabilisent, afin d'éviter d'engager des efforts qui ne porteront qu'une semaine ou deux
Avatar de l’utilisateur
lool_lauris
Animal mythique
Messages : 7151
Inscription : 14 mars 2008, 22:51

Re: Dossiers marque pages Gris , pas jaune

Message par lool_lauris »

Salut,
Gloops a écrit : 06 juin 2021, 23:16 la version 89 a provoqué ... hum, j'allais dire un tollé de protestations ;
Il ne faut rien exagérer ! Le tollé évoqué ne compte sur ce forum qu'une dizaine de personnes. Alors pour ne pas avoir l'air de minimiser le "tollé", je vais multiplier par 10 ce nombre de personnes qui parcourent le forum Mozfr et qui seraient également d'accord avec ces 10 mécontents (pure spéculation de ma part)... ça nous en fait 100 !? Allez, on multiplie à nouveau par 10, ça nous en fait maintenant 1000... allez, on remultiplie par 100 => 100 000 personnes insatisfaites de cette version !?
La part de marché estimée de Firefox au regard des navigateurs web toutes plateformes confondues est d'un peu moins de 4%. Estimons le nombre d'internautes à 2 milliards (ce qui est très certainement très inférieur à la réalité), cela ferait 80 millions d'utilisateurs de Firefox.
On aurait donc 100 000 insatisfaits sur 80 millions d'utilisateurs, soit 0,1% des utilisateurs de Firefox qui seraient mécontents !?
Et comme je me suis certainement profondément trompé on va multiplier ce taux par un facteur 10 => soit 1% de mécontents...

Tout ça est certainement du blabla mais en tous cas, Firefox est utilisé en très grande majorité sur les OS Linux. Pour suivre bon nombre de forum et d’actualité autour de Linux, et pour intervenir dans des associations d'aide et d'utilisateurs d'informatique, les gens, dans leur très grande majorité, se contrefichent de ces onglets au dessus ou en dessous, ou de la couleur des dossiers de marques-pages.
Ce qui est vraiment important est que Firefox continue d'être un logiciel libre et que la confidentialité de ses utilisateurs soit complètement préservée et c'est la-dessus qu'il faut rester vigilant (par exemple, les trackers présents dans Firefox Android) !
.
Soutenez le Libre !

Image
Gloops
Tyrannosaurus Rex
Messages : 3816
Inscription : 22 mai 2006, 11:55

Re: Dossiers marque pages Gris , pas jaune

Message par Gloops »

OK j'y suis allé un peu fort, j'ai d'ailleurs bien ajouté après "n'exagérons rien".
C'est vrai qu'en ne lisant que les protestations, du coup forcément en proportion ça en fait plus :)
J'essayais de faire passer l'idée de temporiser pour les personnalisations, des fois qu'il y ait des correctifs à attendre. Imagine si le DOM évolue, on serait bien avec des personnalisations qui viseraient l'ancien.
Avatar de l’utilisateur
galoupia
Tyrannosaurus Rex
Messages : 2448
Inscription : 19 nov. 2008, 22:56

Re: Dossiers marque pages Gris , pas jaune

Message par galoupia »

Bonjour

.....d'utilisateurs d'informatique, les gens, dans leur très grande majorité, se contrefichent de ces onglets au dessus ou en dessous, ou de la couleur des dossiers de marques-pages.
Ce qui est vraiment important est que Firefox continue d'être un logiciel libre et que la confidentialité de ses utilisateurs soit complètement préservée et c'est la-dessus qu'il faut rester vigilant (par exemple, les trackers présents dans Firefox Android) ! :D

ImageImage
Gloops
Tyrannosaurus Rex
Messages : 3816
Inscription : 22 mai 2006, 11:55

Re: Dossiers marque pages Gris , pas jaune

Message par Gloops »

Enfin ici, on n'est pas vraiment dans le sujet avec ça.
La confidentialité, ça devrait continuer d'être une évidence.
Avatar de l’utilisateur
Bob49
Animal mythique
Messages : 22602
Inscription : 10 mars 2006, 17:25

Re: Dossiers marque pages Gris , pas jaune

Message par Bob49 »

galoupia a écrit : 07 juin 2021, 13:15 Bonjour

.....d'utilisateurs d'informatique, les gens, dans leur très grande majorité, se contrefichent de ces onglets au dessus ou en dessous, ou de la couleur des dossiers de marques-pages.
Ce qui est vraiment important est que Firefox continue d'être un logiciel libre et que la confidentialité de ses utilisateurs soit complètement préservée et c'est la-dessus qu'il faut rester vigilant (par exemple, les trackers présents dans Firefox Android) ! :D

ImageImage
ImageImage

Que des geeks qui veulent retrouver leur personnalisation de Firefox, mais pour la vie de ce dernier, faut qu'il soit le plus simple possible au niveau de l'interface... Après, les goûts et les couleurs, c'est affaires de chacun. 8-)

Celui qui arrange son Pc qu'il a paramètré à ses goûts, sa voiture à sa convenance, etc... Le jour du changement de ses choses, il faut tout refaire et est-ce que l'on crie au scandale (quoi que ça peut arriver :mrgreen:) !

Cela dit... Les dossiers manquent de couleurs... Pour ça il faudra voir avec les codes CSS !...
Sauvegardez le profil de votre Firefox , avant d'y faire des modifications(install, etc..) ;-)
"Le bonheur est souvent la seule chose qu'on puisse donner sans l'avoir, et c'est en le donnant qu'on l'acquiert." Voltaire
Image
Gloops
Tyrannosaurus Rex
Messages : 3816
Inscription : 22 mai 2006, 11:55

Re: Dossiers marque pages Gris , pas jaune

Message par Gloops »

Maintenant qu'on a bien élargi le débat, peut-être que je vais finir par savoir ce que c'est que les dossiers de marque-pages.
Avatar de l’utilisateur
Bob49
Animal mythique
Messages : 22602
Inscription : 10 mars 2006, 17:25

Re: Dossiers marque pages Gris , pas jaune

Message par Bob49 »

Gloops a écrit : 07 juin 2021, 13:38 je vais finir par savoir ce que c'est que les dossiers de marque-pages.
Un ancien comme toi, tu ne sais ce qu'est un dossier de M-P ! :)
En Image... Image
Perso, j'en ai un certain nombre... Près de cent cinquante (10-12 ne sont pas pour rester longtemps) dossiers principaux, entre le menu déroulant principal et la barre perso... Bien sur, je ne compte pas le nombre de sous-dossiers... de sous... sous... voir la capture... :mrgreen:
Sauvegardez le profil de votre Firefox , avant d'y faire des modifications(install, etc..) ;-)
"Le bonheur est souvent la seule chose qu'on puisse donner sans l'avoir, et c'est en le donnant qu'on l'acquiert." Voltaire
Image
Anonyme1
Varan
Messages : 1474
Inscription : 05 juil. 2006, 15:54

Re: Dossiers marque pages Gris , pas jaune

Message par Anonyme1 »

Bonjour,
HenrideSollies a écrit : 06 juin 2021, 22:54 Bonjour,
Je viens de passer à la version 89 et j'ai la mauvaise surprise de découvrir que les dossiers des marque page ont perdu leur belle couleur jaune .
Ils sont devenus tristement gris .
Que faut il faire pour retrouver cette belle couleur jaune ?
Merci
La question est pourtant bien claire "Que faut il faire pour retrouver cette belle couleur jaune ?", Mais je ne vois que du hors sujet, du blabla :mrgreen:

@HenrideSollies
je te mets le fichier userChrome.css, je ne sais pas si tu connais comment utiliser un fichier en CSS ?
Sinon l'on t'expliquera

Code : Tout sélectionner

/* Dossier standard -- sur la barre d'outils et les menus */
#PlacesToolbarItems toolbarbutton[container="true"]:not([query="true"]) .toolbarbutton-icon,
:-moz-any(
#PlacesToolbarItems,
#PlacesChevronPopup,
#BMB_bookmarksPopup,
#bookmarksMenu,
#OtherBookmarksPopup) menu[container="true"]:not([query="true"]) > .menu-iconic-left > .menu-iconic-icon,
/* Dossier standard -- dans la barre latérale, la bibliothèque, la boîte de dialogue Ajouter/Modifier un signet */
:-moz-any(
#bookmarks-view, 
#editBMPanel_folderTree, 
#placesList, 
#placeContent) treechildren::-moz-tree-image(container), 
#editBMPanel_folderMenuList > .menulist-label-box > .menulist-icon,
#editBMPanel_folderMenuList menupopup menuitem, 
#editBMPanel_folderMenuList {
fill: #e8bb00 !important; /* or légèrement atténué */
/* Spécifier l'icône pour Firefox 89 Proton (base 64 conversion de l'ancien SVG avec la couleur or) */
list-style-image: url("data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iMTYiIGhlaWdodD0iMTYiIHZpZXdCb3g9IjAgMCAxNiAxNiIgZmlsbD0iI2U4YmIwMCIgZmlsbC1vcGFjaXR5PSJjb250ZXh0LWZpbGwtb3BhY2l0eSIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIj4KICA8cGF0aCBkPSJNMTQuNSAzSDYuOTE0YS41LjUgMCAwIDEtLjM1NC0uMTQ2TDUuMTQ2IDEuNDM5QTEuNDkxIDEuNDkxIDAgMCAwIDQuMDg2IDFIMS41QTEuNSAxLjUgMCAwIDAgMCAyLjV2MTFBMS41IDEuNSAwIDAgMCAxLjUgMTVoMTNhMS41IDEuNSAwIDAgMCAxLjUtMS41di05QTEuNSAxLjUgMCAwIDAgMTQuNSAzem0uNSAxMC41YS41LjUgMCAwIDEtLjUuNWgtMTNhLjUuNSAwIDAgMS0uNS0uNVY2aDE0ek0xIDVWMi41YS41LjUgMCAwIDEgLjUtLjVoMi41ODZhLjUuNSAwIDAgMSAuMzU0LjE0NmwxLjQxNCAxLjQxNUExLjQ5MSAxLjQ5MSAwIDAgMCA2LjkxNCA0SDE0LjVhLjUuNSAwIDAgMSAuNS41VjV6Ii8+CiAgPHBhdGggZD0iTTE1IDEzLjVhLjUuNSAwIDAgMS0uNS41aC0xM2EuNS41IDAgMCAxLS41LS41VjZoMTR6IiBmaWxsLW9wYWNpdHk9Ii4yIi8+CiAgPHBhdGggZD0iTTEgNVYyLjVhLjUuNSAwIDAgMSAuNS0uNWgyLjU4NmEuNS41IDAgMCAxIC4zNTQuMTQ2bDEuNDE0IDEuNDE1QTEuNDkxIDEuNDkxIDAgMCAwIDYuOTE0IDRIMTQuNWEuNS41IDAgMCAxIC41LjVWNXoiIGZpbGwtb3BhY2l0eT0iLjEiLz4KICA8cGF0aCBkPSJNMTUgMTMuNWEuNS41IDAgMCAxLS41LjVoLTEzYS41LjUgMCAwIDEtLjUtLjVWMTNoMTR6IiBmaWxsLW9wYWNpdHk9Ii4wNSIvPgo8L3N2Zz4=") !important;
}

/* Barre d'outils des signets sur les Menus */
#BMB_bookmarksPopup #BMB_bookmarksToolbar > .menu-iconic-left > .menu-iconic-icon,
#bookmarksMenuPopup #bookmarksToolbarFolderMenu  > .menu-iconic-left > .menu-iconic-icon,
/* Barre d'outils des signets -- dans la barre latérale, la bibliothèque, la boîte de dialogue Ajouter/Modifier un signet */
:-moz-any(
#bookmarks-view, 
#editBMPanel_folderTree, 
#placesList, 
#placeContent) treechildren::-moz-tree-image(container, OrganizerQuery_BookmarksToolbar),
:-moz-any(
#bookmarks-view, 
#editBMPanel_folderTree, 
#placesList, 
#placeContent) treechildren::-moz-tree-image(container, queryFolder_toolbar_____),
#editBMPanel_toolbarFolderItem > .menu-iconic-left, 
#editBMPanel_folderMenuList[selectedIndex="0"] > .menulist-label-box > .menulist-icon, 
#editBMPanel_folderMenuList[selectedGuid="toolbar_____"] {
/* Spécifiez l'icône pour Firefox 89 Proton pour remplacer le dossier de base */
list-style-image: url("chrome://browser/skin/places/bookmarksToolbar.svg") !important;
fill: #e8bb00 !important;
}
Ce qui donne ceci:
Lien de l'image (en grand): https://nsa40.casimages.com/img/2021/06 ... 408224.png


A+ :wink:
egval
Lézard à collerette
Messages : 267
Inscription : 02 juin 2006, 11:07

Re: Dossiers marque pages Gris , pas jaune

Message par egval »

Bonjour,
Perso, je trouve les dossiers de marque-pages gris pas mal.
dmganges
Lézard à collerette
Messages : 235
Inscription : 25 juin 2013, 20:35

Re: Dossiers marque pages Gris , pas jaune

Message par dmganges »

Bonjour,
Perso pour avoir les dossiers en couleur, j'ai procédé comme suit : viewtopic.php?f=5&t=146293
Donc en résumé une image FF_Icone.png au format png 16x16px (personnalisable sous Paint par exemple) : https://zupimages.net/viewer.php?id=21/23/6klz.png

Et dans le fichier userChrome.css :

Code : Tout sélectionner

.bookmark-item[container], treechildren::-moz-tree-image(container) { 
fill: #FF0000 !important; }

.bookmark-item[container="true"] { list-style-image: url('FF_Icone.png') !important; }
Gloops
Tyrannosaurus Rex
Messages : 3816
Inscription : 22 mai 2006, 11:55

Re: Dossiers marque pages Gris , pas jaune

Message par Gloops »

Bob49 a écrit : 07 juin 2021, 16:09
Gloops a écrit : 07 juin 2021, 13:38 je vais finir par savoir ce que c'est que les dossiers de marque-pages.
Un ancien comme toi, tu ne sais ce qu'est un dossier de M-P ! :)
En Image... Image
Perso, j'en ai un certain nombre... Près de cent cinquante (10-12 ne sont pas pour rester longtemps) dossiers principaux, entre le menu déroulant principal et la barre perso... Bien sur, je ne compte pas le nombre de sous-dossiers... de sous... sous... voir la capture... :mrgreen:
En haut je vois bien le menu déroulant.
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Bing [Bot] et 24 invités