Preferiti
Un preferito è una richiesta appuntata in cima all’albero laterale. Su un progetto importato che conta trecento operazioni, è ciò che riporta in un clic alle cinque che si usano davvero.
Aggiungere ai preferiti
Section titled “Aggiungere ai preferiti”Tre punti d’ingresso:
- la stella all’estrema destra della smartbar della scheda;
- il menu contestuale dell’albero laterale — Aggiungi ai preferiti / Rimuovi dai preferiti;
- il menu File ▸ Preferiti.
Il riquadro Preferiti
Section titled “Il riquadro Preferiti”Compare in cima all’albero laterale solo se esiste almeno un preferito. Le voci si riordinano per trascinamento.
I preferiti compaiono anche nella schermata di benvenuto (scheda Preferiti) e nel sottomenu File ▸ Preferiti.
Ambito
Section titled “Ambito”I preferiti sono collegati al progetto, non al percorso del file: vengono
indicizzati con l’identificatore interno del progetto. Rinominare o spostare il
proprio .restorm non li fa perdere.
Sono invece locali alla macchina: non vengono scritti nel file di progetto e quindi non vengono condivisi con il team. È deliberato — i preferiti sono il piano di lavoro di chi li crea, non quello del progetto.
Tramite MCP
Section titled “Tramite MCP”list_favorites e set_favorite, entrambi disponibili in edizione Community.