Instellingen

Beeld ▸ Instellingen opent de instellingen in een tabblad van de workbench.

Bovenaan staat een zoekbalk met fuzzy matching, links een inhoudsopgave, en rechts de inhoud met plakkende koppen. Elke instelling heeft een tandwielmenu — Instelling terugzetten, Identificator van de instelling kopiëren — en een markering wanneer de waarde is gewijzigd.

De twee bereiken

Twee tabbladen bovenaan:

Bereik	Schrijft naar	Prioriteit
Gebruiker (standaard)	Uw persoonlijke instellingen	De laagste boven de standaardwaarden
Werkruimte	<projectmap>/.restorm/settings.json	Gaat vóór het gebruikersbereik

Het tabblad Werkruimte is uitgeschakeld zolang er geen project open staat. Het schrijft alleen de sleutels die daadwerkelijk zijn overschreven, waardoor het bestand leesbaar en committeerbaar blijft: zo legt u een instelling aan een heel team op.

Sommige instellingen zijn gebruikersgebonden en verschijnen niet in het tabblad werkruimte (de taal bijvoorbeeld). Een voettekst geeft dan aan hoeveel er verborgen zijn.

Weergave

Instelling	Type	Standaard	Rol
Thema	Thema	Dark+	Het kleurthema, gekozen in een carrousel met voorbeelden. Zie Thema’s
Taal	Lijst, gebruiker	en	De taal van de applicatie — 27 talen
Geavanceerde visuele effecten	Schakelaar	ingeschakeld	Achtergrondvervaging op de oppervlakken en CSS-animaties. Zet dit uit op eenvoudige hardware

Weergave ▸ Editor

Instelling	Type	Standaard
Tekengrootte	Getal, 8 tot 72	14
Lettertypefamilie	Tekst	Consolas, 'Courier New', monospace
Regelterugloop	Schakelaar	uitgeschakeld
Minimap	Schakelaar	uitgeschakeld
Regelnummers	Schakelaar	ingeschakeld

Bestanden

Instelling	Type	Standaard	Rol
Automatisch opslaan	Lijst	Uitgeschakeld	Uitgeschakeld, Na een vertraging, of Bij het wisselen van venster
Opslagvertraging	Getal, 100 tot 60 000 ms	1000	Werkt alleen in de modus Na een vertraging
Het laatste bestand opnieuw openen	Schakelaar, gebruiker	uitgeschakeld	Opent bij het starten het laatste project weer

Gedrag

Instelling	Type	Standaard	Rol
Datum/tijd-formaat	Lijst	Amerikaans formaat	Amerikaans formaat (MM/DD/JJJJ, 12 u) of ISO-formaat (JJJJ-MM-DD, 24 u) — met name gebruikt door de geschiedenis
Het zijpaneel synchroniseren met het actieve tabblad	Schakelaar	ingeschakeld	De selectie in de boom volgt het huidige tabblad

Console

Instelling	Type	Standaard	Rol
Formaat van de verzoeken	Lijst	curl	curl (Unix-stijl) of PowerShell. Dit is de globale standaard; de schakelaar in de werkbalk van de console overschrijft die voor de sessie

MCP

Instelling	Type	Standaard	Rol
MCP-server inschakelen	Schakelaar	ingeschakeld	Start de MCP-server bij het opstarten
Bewaartermijn van het MCP-aanroeplogboek	Getal, 0 tot 10 000	100	Aantal aanroepen dat wordt bewaard; 0 schakelt het uit
Bewaren van MCP-schermafbeeldingen	Getal, 0 tot 10 000	20	Aantal recente aanroepen dat de schermafbeelding houdt; daarboven wordt de media verwijderd

Git

Instelling	Type	Standaard	Rol
De standaardtaal van het commitbericht toepassen	Schakelaar, Pro	ingeschakeld	Gesynchroniseerd met de schakelaar in het pushdialoogvenster
Frequentie van de automatische controle	Lijst, Pro	1 u	Off, 15 min, 30 min, 1 u, 4 u, 12 u, 24 u — de achtergrondcontrole van de geïntegreerde git

Updates

Instelling	Type	Standaard	Rol
Automatisch op updates controleren	Schakelaar	ingeschakeld	Bij het starten en daarna periodiek
Updatestatus	Weergave	—	Huidige versie, status, en de knop Nu controleren

Zie Installatie.

Beperkte instellingen

Een instelling die van een Pro-mogelijkheid afhangt, wordt grijs weergegeven, met een uitnodiging om naar de hogere editie over te stappen — hij wordt niet verborgen. Zie Plannen en mogelijkheden.