Aller au contenu

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.

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 » en haut de l'arbre latéral, avec trois requêtes épinglées

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.

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.

list_favorites et set_favorite, tous deux disponibles en édition Community.