personnalisation_de_l_interface

anonymous@undisclosed.example.com (Anonymous) — Tue, 05 May 2026 02:44:24 +0000

Personnalisation de l'interface

Ajouter des répertoires personnalisés

Par défaut, l'icône utilisée pour un répertoire est l'image d'un dossier. Il est possible d'avoir des icônes un peu plus représentatives surtout quand elles sont affichées en permanence. Dans notre cas, nous allons ajouter les répertoires HOME, FreshRSS et PHP.

Nous allons ensuite les décorer en leur ajoutant des icônes personnalisées. Pour cela, il faut éditer le fichier ~/.mozilla/firefox/<profile>/chrome/userChrome.css et ajouter le code suivant :

userChrome.css

/* L'image vient directement du jeu d'icônes de GTK. */
.bookmark-item[container="true"][label="HOME"] {
    list-style-image: url('chrome://browser/skin/home.svg') !important;
    -moz-image-region: rect(0px 16px 16px 0px) !important;
}
 
/* Ici, les images sont encodées en base64 pour éviter les dépendances. */
/* Il est possible de les inclure directement depuis le disque.         */
.bookmark-item[container="true"][label="PHP"] {
    list-style-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQEAIAAADAAbR1AAAACXBIWXMAAA7DAAAOwwHHb6hkAAAACXZwQWcAAAAQAAAAEABcxq3DAAAAg0lEQVQ4y2NsaGhoOHCAgWaAiXZG08kCFvzS4eHh4eLiyCIrV65c+fIllX2gqampqalJkQ+IdylEJbIsAb3Xr1+/fv06pkHXkQAlsky4JDCDhTzZYZZMkb2GK3xxAVx6USxAlkBOCRBxTBFi9GIJIswESowILnEm8gIEl9sxAeOQL00BaSyt9ewBR8AAAAAldEVYdGNyZWF0ZS1kYXRlADIwMDktMTItMDRUMTM6MjM6MTAtMDU6MDBXCwHlAAAAJXRFWHRtb2RpZnktZGF0ZQAyMDA5LTEyLTA0VDEzOjIzOjEwLTA1OjAwCLp30QAAAABJRU5ErkJggg==') !important;
}
.bookmark-item[container="true"][label="FreshRSS"] {
    list-style-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAA7AAAAOwBeShxvQAAABl0RVh0U29mdHdhcmUAd3d3Lmlua3NjYXBlLm9yZ5vuPBoAAAL7SURBVDiNbdNPbBR1FMDx729mdnd2t7OlLbttomClu22qHmwDCAUN0XDh4omEEIgxqAkoevPikYPGxFNJ6sUIsYKJN0WMITGYrYXaRpBQa7Z00RKs+6ctO7Ps7J+ZeR5Ustn4Tu/w3id5ee8pOmJmubLHbfpvtTzZ50kwcHhq0dwaD7WGkuZKZiB25pNXRy+016v/kq8X/oyZUfPThieHNYVKWiHiEZ0Pv10lX3KZy9u0fGEinVge25bYOXksYz8CZu9J1H6wOeMFwfiOZJR0KornCxXX49KtdfYOJUhZYd79coXzs2uMDMScg6N9j08ey9gGwEN785wXyPjY9i62xELcWK1StJsAvH7uNwB2DVqcf22U8e0W73yRs7Z2hRaAYXV1yd5bbbZ+3JE01RN9JrN3KviBkE5FSSXCLN6v8dXNEme/v4+uKa69N8773/zB9LUCr+wbOMqVxY3py7fWpeUHMpe35bvbG1KteyIi4vmBeH4gIiI3Vm3pOvmD7D6zIAW7KZE3rsoLH/z8q9byZH/SCtH0hKLdJJ2KEo/ofH69QM/pLD2ns1yYK/DsNos3X3yMn+7alJ0Gu560yJfqQ5ovkopHdJy6B0Bfl4EfCKemczh1H6fuc+qzHIEIL48lAbied8j0Ryk7zbASERuw2nfrB0Lv2zPY7j9od9RgY3I/Tt0nm6uwc9Bis+axUnRrGnCv85h0TTF1fJhE1CARNZg6PoymFCWnBcCWmEG17mNoWsEArgBPdSJHn+vnyO4UAJpSVBs+K0WX/kQYXVOUqy10TWWViDwD3AT0TgSg4vqUnSZ3ii66pphIJ/i93CBfrgeWaezRlFK3gY//rxkgm3vA0lqN3niIiXSCzYced8t1TENdPDDSPa8ARCQMXAZe6gQKdhPL1AnpGssFl3zJJaSr+cDsff5QRjUePdO/yEfAyfZxltZqVOs+5WoLXwhMQ11shXtOHMqoBrR9Yxv0NHACOAgMXvplXTc07S9NIxsJ6WcPjHTPt9f/DSbxXWzyy740AAAAAElFTkSuQmCC') !important;
}

Modifier les liens sur Wikipedia

Il faut modifier le fichier ~/.mozilla/firefox/<profile>/chrome/userContent.css et ajouter le code suivant¹⁾ :

userContent.css

@-moz-document domain(wikipedia.org) {
    #p-lang a[hreflang="en"],
    #p-lang a[hreflang="fr"] {
        font-weight: bold!important;
        color: red!important;
    }
    #p-lang a[hreflang="en"]::after {
        content: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAABa1BMVEUAAAAAAQEAAQEAAQEAAQEAAQHFXl7e2tqBlLkKNYoALYbS1dq1DQ2yAADc0tINN4sIM4lzibTHdnjQlZV4faTwtbb76enx9Pmqu934+fzojY3nhob++Pioudzs5ezxuLj98/N/krgCLYRsisTZoanuqan//v77/P7cTk7ZQ0P99PTzxcXtqKji5/J3ksnLztP////aR0fYOzv98/PY2NitDg7YPT3WMzOrAgKoAgLXNjbVKyuqDQ7Pz8/6+vr6+vr47e3PISHRLi7DxcoCKntVdbTS2OXfjo7lsLDx5ubIGRnKJibv8PHz8vLfj4/IhpBIa691hqjo19fSbGzKvclNba3q39/AEBDDHR3f4udRcK7S1+LkxcXSbW5uc5a3hYXLhYeImr8xVp88XqPm3t7GOjrIRUXe4OQ0WKA3WqCVpcXf29utVlaqbG1sfZ0fQIQkRYjJwcGnGRmqJCTBw8cZPYQhQoV2hKG7uLjZVBWYAAAABnRSTlMAAgcKFRynklPFAAAAXElEQVQYGYXBMQ7CQBAEwe7TGCJfwP8/xwcgcQqLQUJekVAF/+hid4vT7h6nzWZYZac+gMs1nJSPQA1ClK8ahCioD6AWwtlmI6w2kzDtCFPFN1QcQw71dMehil8vG7oOzNFoEhcAAAAASUVORK5CYII=);
        margin-left: 0.25rem;
    }
    #p-lang a[hreflang="fr"]::after {
        content: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAK0lEQVQ4y2P4//8/AyWYgSoGMIQu+Y+O0cF7R1MMPGrAqAGDzICBz0yUYAB6SdABZGnejAAAAABJRU5ErkJggg==);
        margin-left: 0.25rem;
    }
}

Cela ne marche plus depuis la modification du format des pages de Wikipedia. Il faudrait que je prenne le temps d'adapter ça.

Ajouter un lien vers les favoris qui ne sont pas triés

Firefox possède un dossier spécial qui fait la même chose.

Depuis la version 3 de Firefox, les nouveaux favoris sont stockés dans le répertoire “Unsorted Bookmarks”. On peut accéder à ce dossier lors de la gestion des favoris. Cependant, si on veut y accéder depuis un autre endroit, on ne peut pas copier directement ce dossier. En effet, ce sera une copie statique et aucun des nouveaux ajouts ne sera visible.
Pour pouvoir y accéder, il faut créer un favori spécial qui sera une requête ²⁾ de la base de données des favoris. L'adresse du favori sera :

place:folder=UNFILED_BOOKMARKS

Pour que la requête soit prise en compte, il faut redémarrer Firefox.

Pour rendre le tout un peu plus joli, on peut modifier l'icône affichée par celle utilisée par défaut pour identifier les favoris qui ne sont pas triés. Pour cela, il faut éditer le fichier ~/.mozilla/firefox/<profile>/chrome/userChrome.css et ajouter le code suivant :

userChrome.css

.bookmark-item[container="true"][label="Unsorted"] {
    list-style-image: url('chrome://browser/skin/places/unfiledBookmarks.svg') !important;
    -moz-image-region: rect(0px 16px 16px 0px) !important;
}

¹⁾

https://lehollandaisvolant.net/?id=20170820020439

²⁾

Plus d'informations sur les requêtes de la base de données des favoris.

Mon wiki - obsolete:informatique:firefox

personnalisation_de_l_interface

Personnalisation de l'interface

Ajouter des répertoires personnalisés

Modifier les liens sur Wikipedia

Ajouter un lien vers les favoris qui ne sont pas triés