Firefox : ré-allonger le menu des marque-pages en 2020

[Léopard des Mers]

Bonjour à tous,
Il y a dix ans, je postais ceci : https://linuxfr.org/forums/astucesdivers/posts/firefox-36-allonger-le-menu-des-dossiers-des-marque-pages

Il s’agissait d’allonger à la fois la liste des « dossiers récents » utilisés pour classer les marque-pages à l’aide de « Ctrl+D » et le panneau contenant leur arborescence quand il s’agit d’aller en classer un nouveau. Ça a très bien fonctionné jusqu’ici mais récemment, l’architecture des menus a été entièrement ré-écrite et cette astuce n’est plus applicable. Il est donc temps de s’y coller à nouveau.

L’une des remarques qu’on pouvait faire à l’époque est qu’il aurait été souhaitable de pouvoir préciser cette hauteur dans une clé de configuration de about:config. C’est en me plongeant dans le code que je me suis aperçu que cette clé existe désormais :
browser.bookmarks.editDialog.maxRecentFolders
Cette clé vaut 7 par défaut a l’heure actuelle (Firefox 81). La positionner à 20 ou 25 permet de travailler beaucoup plus confortablement.

En ce qui concerne la hauteur du panneau de l’arborescence, en revanche, il faut toujours modifier le code pour cela. Sous le répertoire d’installation de Firefox, par exemple /lib64/firefox sur Fedora 31, se trouvent notamment deux fichiers nommés « omni.ja » :

• omni.ja
• browser/omni.ja (celui qui nous intéresse)

On sélectionnera le second, en veillant à ne pas le confondre avec son homologue. Pour ce faire :

1. Fermez Firefox ;
2. Créez un répertoire temporaire avec mkdir à l’emplacement de votre choix (typiquement dans votre home) ;
3. Entrez dans ce répertoire avec cd ;
4. Le fichier concerné est en fait une archive ZIP. Déballez-la avec unzip /lib64/firefox/browser/omni.ja, en adaptant le chemin d’accès à votre distribution, mais en veillant à conserver le préfixe browser ;
5. Ouvrez le fichier chrome/browser/content/browser/places/editBookmark.js avec votre éditeur préféré ;
6. Aux lignes 1273 et 1274, se trouvent les attributs height="150" et minheight="150". Remplacez les valeurs 150 par 400 ou 450 selon les goûts et la hauteur de votre écran ;
7. Toujours depuis la racine de votre répertoire temporaire, ré-archivez le tout à l’aide de zip -9 -r ../omni.ja * (le fichier-cible se trouve un niveau au dessus pour éviter d’être inclus dans l’archive) ;
8. Remplacez le fichier original par le vôtre avec sudo mv ../omni.ja /lib64/firefox/browser/omni.ja, en adaptant une fois encore le chemin-cible à votre distribution et en veillant à remplacer le fichier se trouvant sous « browser », et pas l’autre ;
9. Redémarrez Firefox.

On peut voir qu’il s’agit en fait d’un fragment XUL non encore converti, et donc traité à la main par une procédure Javascript qui le traite à l’aide d’API dédiées et qui l’insère dans le document ensuite. La boîtes des étiquettes, elle, est directement définie par une richlistbox en ligne 145 des fichiers bookmarkProperties.xhtml et bookmarkProperties2.xhtml.

Il doit être possible, aujourd’hui, d’écrire une extension pour modifier ces fichiers de façon dynamique à l’exécution. Si c’est le cas, ce sera l’objet d’une nouvelle entrée dans le forum Astuces.

Télécharger ce contenu au format EPUB

Commentaires : voir le flux Atom ouvrir dans le navigateur

https://linuxfr.org/forums/astucesdivers/posts/firefox-re-allonger-le-menu-des-marque-pages-en-2020