Suite aux informations sur Firefox 85 de tomtom95 un nouveau marque page qu'on peut supprimer
Posté : mer. 27 janv. 2021 13:44
Bonjour,
On peut voir dans cette nouvelle version un marque page qui existait mais n'était pas détaché du menu "marques pages", il s'agit de "autres marques pages" sur la droite de la ligne de barre personnelle.
On peut soit la garder, soit la supprimer avec plusieurs méthodes, soit décocher "afficher les autres marque pages" (clic droit
Supprimer le dossier Autres signets de la barre d'outils Signets
soit aller dans about:config et dans la filtre coller:
soit encore supprimer les marque pages existants dans ce dossier (il n'existe que s'il y a des marque-pages dedans
https://www.askvg.com/firefox-tip-hide- ... s-toolbar/
Je m'y habitue et ça me permet de faire du ménage dans un dossier ou je ne vais que rarement
On peut toujours y avoir accès bien entendu.
On peut voir dans cette nouvelle version un marque page qui existait mais n'était pas détaché du menu "marques pages", il s'agit de "autres marques pages" sur la droite de la ligne de barre personnelle.
On peut soit la garder, soit la supprimer avec plusieurs méthodes, soit décocher "afficher les autres marque pages" (clic droit
Supprimer le dossier Autres signets de la barre d'outils Signets
soit aller dans about:config et dans la filtre coller:
le passer en "false" ou inverserbrowser.toolbars.bookmarks.showOtherBookmarks
soit encore supprimer les marque pages existants dans ce dossier (il n'existe que s'il y a des marque-pages dedans
https://www.askvg.com/firefox-tip-hide- ... s-toolbar/
Je m'y habitue et ça me permet de faire du ménage dans un dossier ou je ne vais que rarement
On peut toujours y avoir accès bien entendu.