Suite aux informations sur Firefox 85 de tomtom95 un nouveau marque page qu'on peut supprimer

Discussions générales sur Microsoft Windows 10.
Répondre
Avatar du membre
mwonex
Messages : 4736
Enregistré le : dim. 7 juin 2015 13:46
Etes vous un robot ? : Non

Suite aux informations sur Firefox 85 de tomtom95 un nouveau marque page qu'on peut supprimer

Message par mwonex »

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
Capture-Autres marque-pages Ffox 85.PNG
Capture-Autres marque-pages Ffox 85.PNG (243.28 Kio) Vu 607 fois
Supprimer le dossier Autres signets de la barre d'outils Signets

soit aller dans about:config et dans la filtre coller:
browser.toolbars.bookmarks.showOtherBookmarks
le passer en "false" ou inverser

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.
"La carte n'est pas le territoire " . "Mieulx est de ris que de larmes escrire, Pour ce que rire est le propre de l'homme. Rabelais". Intel(R) Core(TM) i5-9400F CPU @ 2.90GHz 2.90 GHz 8 Go Win 10 22H2 (19045.3996)
Répondre