Forum Astuces.divers Firefox : ré-allonger le menu des marque-pages en 2020

Posté par  . Licence CC By‑SA.
6
25
oct.
2020

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. ;-)

  • # Raccourci

    Posté par  . Évalué à 2 (+0/-0).

    D'ici à ce que l'extension soit au point, voici déjà un raccourci pour les personnes intéressées :

    • Ouvrez au moins une fois le panneau des marque-pages avec Ctrl+D, puis refermez-le ;
    • Ouvrez la console Javascript navigateur avec Ctrl+Shift+J ;
    • Saisissez gEditItemOverlay._folderTree.height = 430 pour porter la hauteur de 150 à 430;

Envoyer un commentaire

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n’en sommes pas responsables.