Résolu. Renommer un dossier de marque-pages

[wanet]

Bonjour,
satisfait de Mozilla, mais un petit problème qui m'agace :
Dans mes marque-pages, j'ai créé un dossier au nom à mon sens pas assez explicite pour le retrouver facilement.
Surprise, pas moyen de le renommer. Habituellement : Clic droit "renommer", qui semble ne pas exister.
serais-je idiot ?
Merci pour la réponse (pas à la dernière question!!!)
Votre Navigateur : Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20100101 Firefox/17.0

[jpj]

Bonjour,

Même dans le panneau latéral (Crtl+B) ou la bibliothèque (Ctrl+Maj+B) ?

Édité. Réponse très incomplète . Voir le message de Bob49 ci-dessous pour quelque chose de plus précis.

Votre Navigateur : Mozilla/5.0 (Windows NT 6.1; WOW64; rv:19.0) Gecko/20130105 Firefox/19.0

[Bob49]

Bonsoir

Il n'y à pas de fonction "renommer" pour les dossiers ou les marque-pages et il n'y en à jamais eu...

Dans le panneau latéral, dans la barre personnelle et dans le menu marque-page....il faut faire clic-droit ► propriétés. Ce qui revient au même que s'il y avait un menu "renommer" et ça évite un menu de trop.

Pour la bibliothèque (afficher tous les marque-pages ou Ctrl + Maj + B/O), on choisit la chose à renommer et l'on va dans la barre "nom" en bas, rectifier le nom...

[wanet]

Merci,
Problème résolu. Facile quand on a compris, mais je n'avais pas trouvé dans l'aide.
Effectivement les 2 méthodes sont rapides, mais Mozilla devrait les signaler. Sans être un génie en informatique, j'ai l'habitude.
Ceci dit, récent sur Mozilla que je ne regrette pas, j'ai du avoir 2 fois recours à ce Forum et ai eu 2 fois des réponses en moins de 1 heure.
Exceptionnel !
Merci
Votre Navigateur : Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20100101 Firefox/17.0