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 à (…)