URL: https://linuxfr.org/forums/astucesdivers/posts/firefox-re-allonger-le-menu-des-marque-pages-en-2020 Title: Firefox : ré-allonger le menu des marque-pages en 2020 Authors: Obsidian Date: 2020年10月25日T18:18:33+01:00 License: CC By-SA Tags: firefox, marque-page, javascript, xul et fedora Score: 6 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. ;-)