Page 1 sur 1
Marque-page augmenter liste des derniers dossiers utilisés
Publié : 23 oct. 2018, 09:44
par kyomai3006
Bonjour,
lorsque qu'on marque une page, on a la possibilité de choisir le "dossier"...
En cliquant dessus on a barre perso, menu, autres, choisir et aussi la liste des 5 derniers dossiers qu'on a utilisés.
Je voudrais savoir si vous connaissez un moyen d'augmenter cette liste ? (les 8 ou 10 derniers dossiers utilisés...)
dans about:config je suppose, mais je n'ai rien trouvé en essayant des mots-clés plausibles...
Mai
Re: Marque-page augmenter liste des derniers dossiers utilisés
Publié : 23 oct. 2018, 10:18
par Cucurbitacé
Bonjour kyomai3006,
Éventuellement cela peut être fait en agissant sur l’apparence de Firefox.
En créant un fichier userChrome.css ou userContent.css qu’il faudra mettre dans dossier créé par vos soins et nommé : Chrome.
Ce dossier est à mettre dans le profil.
- userChrome.css agit sur l’apparence de Firefox, son armature, sa structure.
- userContent.css agit sur ce qu’il affiche.
Cela s’appelle communément feuille de style et il faut faire de la programmation.
Des explications ici :
=>
http://j2m-06.pagesperso-orange.fr/faq_ ... hrome.html
=>
viewtopic.php?f=5&t=55281
Il y a des extensions qui agissent sur l’apparence qui peuvent aider :
https://addons.mozilla.org/fr/firefox/s ... =extension
Vous pouvez aussi récupérer du code de programmation sur des styles déjà créés par d'autres, section Browser :
https://userstyles.org/categories/app
Bien à vous.
Re: Marque-page augmenter liste des derniers dossiers utilisés
Publié : 23 oct. 2018, 10:48
par Mapenzi
Bonjour,
kyomai3006 a écrit : 23 oct. 2018, 09:44
Je voudrais savoir si vous connaissez un moyen d'augmenter cette liste ? (les 8 ou 10 derniers dossiers utilisés...)
dans about:config je suppose, mais je n'ai rien trouvé en essayant des mots-clés plausibles...
Dans les anciennes (pré-Quantum) versions de Firefox c'était possible avec le module "Add Bookmark Here 2".
Actuellement il n'est pas possible de modifier le nombre de dossiers récents dans Firefox Quantum, ni via l'éditeur de config ni avec un code css dans le fichier userChrome.css. Peut-être dans le futur grâce au grâce au
Bug 482027 "
Being able to remember better the last folders selected for bookmarking" ?
Re: Marque-page augmenter liste des derniers dossiers utilisés
Publié : 23 oct. 2018, 11:04
par lool_lauris
Salut,
Il est possible des créer autant de dossiers et de sous-dossiers que l'on veut dans :
* Barre personnelle
* Menu des marques
* Autres marques-pages
Pourquoi ne pas utiliser l'un (ou plusieurs) des ces emplacements pour créer les dossiers souhaités ?

Re: Marque-page augmenter liste des derniers dossiers utilisés
Publié : 23 oct. 2018, 18:57
par Bob49
Salut
Si tu connais bien le nom de tous tes dossiers et que tu en as pas de trop,
Quick Bookmark To Folder peut être une alternative... Il suffit de commencer à taper le nom...