Forum Astuces.divers Firefox 3.6 : allonger le menu des dossiers des marque-pages

Posté par  .
Étiquettes :
7
15
nov.
2010
Si, comme moi, vous faites grand usage de la combinaison « Ctrl-D », votre menu des marque-pages doit ressembler à un océan. Et si, tout comme moi, vous avez entrepris de les classer dans une hiérarchie digne de ce nom, alors vous devez utiliser énormément les facilités du menu « Page marquée » ou « Modifier ce marque-page », à savoir la liste déroulante des derniers dossiers utilisés et l'arborescence de ces dossiers, juste en dessous.

Toutefois, 5 entrées dans la liste sont généralement insuffisantes, le dossier qui nous intéresse ayant à chaque fois été éjecté depuis depuis peu. En revanche, 15 catégories suffisent généralement à couvrir 99 % des sujets qui nous intéressent à un moment donné. Dans le même esprit, tripler la taille du menu de l'arborescence est une bonne idée, pour conserver ses proportions et naviguer plus facilement dans une hiérarchie développée.

Par chance, l'interface graphique correspondant à ces menus est écrite en XUL et en Javascript. Elle ne nécessite donc pas de recompilation. Voici comment faire :

  • Fermer Firefox et ouvrez un terminal ;
  • Faites une copie du fichier browser.jar situé dans /usr/lib/firefox-3.6/chrome (ou /usr/lib64…) ;
  • Placez-vous dans un répertoire temporaire et dé-zippez le contenu de l'archive avec unzip browser.jar ;
  • Ouvrez dans votre éditeur de texte préféré le fichier content/browser/places/editBookmarkOverlay.js ;
  • À la ligne 40, on lit « const MAX_FOLDER_ITEM_IN_MENU_LIST = 5; ». Remplacer 5 par 15 ;
  • Enregistrez le fichier, fermez-le, puis ouvrez content/browser/places/editBookmarkOverlay.xul ;
  • Aux lignes 128 et 181, remplacez « height="150" » par « height="450" » ;
  • Enregistrez ce fichier, fermez votre éditeur, puis retournez à la ligne de commande du terminal ;
  • Re-zippez le contenu modifié de l'archive avec « zip -r modifiedbrowser.jar content » ;
  • Remplacez l'archive originale avec « mv modifiedbrowser.jar /usr/lib/firefox-3.6/chrome/browser.jar », en tant que root si nécessaire, et en adaptant le chemin à celle du navigateur en place, le cas échéant ;
  • Fermer le terminal et relancer Firefox.

Après redémarrage, les dossiers affichés seront toujours les cinq derniers, puis la liste s'agrandira d'elle-même à l'usage.

Attention, toutefois : ces modifications seront annulées avec une mise à jour du navigateur.

  • # bien

    Posté par  . Évalué à 2.

    Pour trier les marques pages, j'utilise la fenêtre bibliothèque (shift+ctrl+b)

    Mais je n'ai peut-être pas compris ton astuce

    • [^] # Re: bien

      Posté par  . Évalué à 3.

      Pour trier des pages déjà marquées, oui. Mais au moment où tu marques une page, tu peux directement choisir le dossier dans lequel tu veux classer ta page plutôt que la faire atterrir dans « Menu des marque-pages » ou « Marque-pages non classés ». Pour ça, tu peux utiliser l'arborescence (pas beaucoup plus d'intérêt, si ce n'est que tu le fais en une opération) ou la liste des cinq dossiers utilisés le plus récemment.

      L'idée est que, quand tu as beaucoup de bookmarks, tu as généralement beaucoup de dossiers aussi, et cinq entrées ne sont pas suffisantes. Je jongle toujours avec une dizaine de dossiers « intéressants » à un moment donné et chaque fois que je classe une page, un autre dossier intéressant se retrouve exclu de la liste, ce qui m'oblige justement à aller le rechercher au fond de l'arborescence, et il peut être parfois assez loin.

      En revanche, une quinzaine de dossiers « récents » en simultané dans ta liste suffit en général à couvrir ceux qui m'intéressent pendant une certaine période.

  • # Extension ?

    Posté par  . Évalué à 2.

    Ton astuce est très intéressante.
    Je regrette souvent que la liste soit limitée à 5 dossiers.

    Par contre, est-ce qu'elle ne pourrait pas être faite via une extension XPI ?

    • [^] # Re: Extension ?

      Posté par  . Évalué à 2.

      Si, probablement, mais la vérité est que je ne sais pas les faire. :-)

      J'aurais pu m'y investir mais en attendant, j'ai un navigateur qui réagit comme je le souhaite et qui me rend bien service de cette façon (j'ai 5000 bookmarks, environ). Donc, autant en faire profiter la communauté tout de suite…

      • [^] # Re: Extension ?

        Posté par  . Évalué à 2.

        C'était une remarque, pas une critique.
        En tout cas, merci pour l'astuce.

        • [^] # Re: Extension ?

          Posté par  . Évalué à 2.

          C'était une remarque, pas une critique.

          C'est bien comme ça que je l'avais prise. :-)

          En tout cas, merci pour l'astuce.

          Content qu'elle te rende service.

Suivre le flux des commentaires

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