Firefox: Liste des marque-pages récents: persistante en 2023

Bonjour,

Parce que la manipulation inverse était requise dernièrement sur ce forum, j'avais basculé dans about:config la ligne:

browser.bookmarks.showRecentlyBookmarked

de False à True.

Il semblerait au moins me concernant que cette entrée n'existe plus dans les dernières versions de Firefox.

La parade consiste à passer par le fichier css.

S'il n'existe pas, toujours dans about:config, mettre à True l'entrée:

toolkit.legacyUserProfileCustomizations.stylesheets

Se rendre dans son Profil Firefox, créer à la racine un dossier chrome, y créer un nouveau fichier texte userChrome.txt qu'on renomme aussitôt userChrome.css, faire modifier, y copier ce qui suit, enregistrer et redémarrer Firefox:
 

/* Library Button > Bookmarks: Hide "Recently Bookmarked" */
#PanelUI-bookmarks #panelMenu_recentBookmarks, 
#PanelUI-bookmarks #panelMenu_bookmarksMenu {
  display: none !important;
}

/* Library button: Hide Bookmarks in "Recent Highlights" */
#appMenu-library-recentHighlights [type="highlight-bookmark"] {
  display: none !important;
}