Paramètres

Affichage ▸ Paramètres ouvre les réglages dans un onglet du workbench.

Une barre de recherche floue est en haut, un sommaire à gauche, le contenu à droite avec des en-têtes collants. Chaque réglage porte un menu d’engrenage — Réinitialiser le paramètre, Copier l’identifiant du paramètre — et un indicateur quand sa valeur a été modifiée.

Les deux portées

Deux onglets en haut :

Portée	Écrit dans	Priorité
Utilisateur (défaut)	Vos réglages personnels	La plus faible au-dessus des valeurs par défaut
Espace de travail	<dossier-du-projet>/.restorm/settings.json	L’emporte sur la portée utilisateur

L’onglet Espace de travail est désactivé tant qu’aucun projet n’est ouvert. Il n’écrit que les clés effectivement surchargées, ce qui rend le fichier lisible et commitable : c’est ainsi qu’on impose un réglage à toute une équipe.

Certains réglages sont propres à l’utilisateur et n’apparaissent pas dans l’onglet espace de travail (la langue, par exemple). Un pied de page indique alors combien sont masqués.

Apparence

Réglage	Type	Défaut	Rôle
Thème	Thème	Dark+	Le thème de couleurs, choisi dans un carrousel d’aperçus. Voir Thèmes
Langue	Liste, utilisateur	en	La langue de l’application — 27 langues
Effets visuels avancés	Interrupteur	activé	Flou d’arrière-plan sur les surfaces et animations CSS. À désactiver sur du matériel modeste

Apparence ▸ Éditeur

Réglage	Type	Défaut
Taille de police	Nombre, 8 à 72	14
Famille de police	Texte	Consolas, 'Courier New', monospace
Retour à la ligne	Interrupteur	désactivé
Minimap	Interrupteur	désactivée
Numéros de ligne	Interrupteur	activés

Fichiers

Réglage	Type	Défaut	Rôle
Sauvegarde automatique	Liste	Désactivée	Désactivée, Après un délai, ou Au changement de fenêtre
Délai de sauvegarde	Nombre, 100 à 60 000 ms	1000	N’agit qu’en mode Après un délai
Rouvrir le dernier fichier	Interrupteur, utilisateur	désactivé	Rouvre au démarrage le dernier projet

Comportement

Réglage	Type	Défaut	Rôle
Format date/heure	Liste	Format US	Format US (MM/JJ/AAAA, 12 h) ou Format ISO (AAAA-MM-JJ, 24 h) — utilisé notamment par l’historique
Synchroniser le panneau latéral avec l’onglet actif	Interrupteur	activé	La sélection de l’arbre suit l’onglet courant

Console

Réglage	Type	Défaut	Rôle
Format des requêtes	Liste	curl	curl (style Unix) ou PowerShell. C’est le défaut global ; l’interrupteur de la barre d’outils de la console le surcharge pour la session

MCP

Réglage	Type	Défaut	Rôle
Activer le serveur MCP	Interrupteur	activé	Démarre le serveur MCP au lancement
Rétention du journal d’appels MCP	Nombre, 0 à 10 000	100	Nombre d’appels conservés ; 0 désactive
Conservation des captures MCP	Nombre, 0 à 10 000	20	Nombre d’appels récents gardant leur capture ; au-delà, le média est supprimé

Git

Réglage	Type	Défaut	Rôle
Appliquer la langue du message de commit par défaut	Interrupteur, Pro	activé	Synchronisé avec l’interrupteur de la modale de push
Fréquence de vérification automatique	Liste, Pro	1 h	Off, 15 min, 30 min, 1 h, 4 h, 12 h, 24 h — la vérification de fond du git intégré

Mises à jour

Réglage	Type	Défaut	Rôle
Vérifier les mises à jour automatiquement	Interrupteur	activé	Au démarrage et périodiquement
État de la mise à jour	Affichage	—	Version courante, état, et bouton Vérifier maintenant

Voir Installation.

Réglages restreints

Un réglage dépendant d’une capacité Pro s’affiche grisé, avec une invitation à passer à l’édition supérieure — il n’est pas masqué. Voir Plans et capacités.