Favoris
Un favori est une requête épinglée en haut de l’arbre latéral. Sur un projet importé qui compte trois cents opérations, c’est ce qui vous ramène en un clic aux cinq que vous utilisez vraiment.
Mettre en favori
Section titled “Mettre en favori”Trois entrées :
- l’étoile à l’extrême droite de la smartbar de l’onglet ;
- le menu contextuel de l’arbre latéral — Ajouter aux favoris / Retirer des favoris ;
- le menu Fichier ▸ Favoris.

Le volet Favoris
Section titled “Le volet Favoris”Il n’apparaît en haut de l’arbre latéral que si vous avez au moins un favori. Les entrées se réordonnent au glisser-déposer.
Les favoris apparaissent aussi sur l’écran d’accueil (carte Favoris) et dans le sous-menu Fichier ▸ Favoris.
Portée
Section titled “Portée”Les favoris sont attachés au projet, pas au chemin du fichier : ils sont
indexés par l’identifiant interne du projet. Renommer ou déplacer votre
.restorm ne les perd pas.
En revanche ils sont locaux à votre machine : ils ne sont pas écrits dans le fichier projet et ne sont donc pas partagés avec votre équipe. C’est délibéré — vos favoris sont votre plan de travail, pas celui du projet.
Par MCP
Section titled “Par MCP”list_favorites et set_favorite, tous deux disponibles en édition Community.