[Astuce FF57] attribuer un favicon différent aux dossiers des marques-pages

Publié par Wullfk le 22/11/2017 17:41:39

Icônes différentes pour chaque dossier dans la barre personnelle

En premier lieu créer un dossier "favicon" dans le dossier "chrome" du profile Firefox et mettez y les icônes que vous souhaitez associer à vos dossiers

/* Attribuer un "label" aux dossiers de la barre personnelle */
.bookmark-item[container="true"][label="News"]
{
list-style-image: url("file:/home/<name>]/.mozilla/firefox/xxxxxx.default/chrome/favicon/<name>.png") !important;
-moz-image-region: rect(0px 16px 16px 0px) !important;
}

Modifier le "label" = le nom de votre dossier (dans l'exemple c'est "News")
Indiquer le chemin ou se trouve le favicon à attribuer au premier dossier, copier/coller l'intégralité du code CSS à la suite du premier et répéter la procédure (label et icône) pour tous vos autres dossiers

Note: dans mon exemple de code, le chemin d'accès au profile est celui existant sur Linux, pour Windows il suffit de copier/coller le chemin suivant :

//C:/Users/<name>/AppData/Roaming/Mozilla/Firefox/Profiles/xxxxxxx.default/favicon/<name>.png

Vous pouvez à présent utilisez le réglage suivant pour masque le texte des favicon de la barre personnelle.

/* Masquer texte favicon de la barre personnelle */
#personal-bookmarks .toolbarbutton-text {
display: none !important;
}

Bien entendu le nom des dossiers s'affiche au survol de la souris

Remarque: les résultats de mes tests sont différents celons la config utilisée (Windows / Linux) sur Linux tous les favicon sont bien attribuées aux dossiers respectifs, sur Windows 10 j'ai 3 favicon qui ne veulent pas s'appliquer, alors que le chemin à exactement le même que pour les autres dossiers. La raison c'est que sur Windows il ne faut pas que le nom d'un dossier comporte des lettres accentuées, même chose pour le nom d'un dossier dans les marques-page.

Je n'ai pas essayé avec des images aux formats JPEG, ICO ou BMP. à tester