• # Raccourci

    Posté par . En réponse au message Firefox : ré-allonger le menu des marque-pages en 2020. Évalué à 2.

    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;