Editor dominio
L'editor dominio consente di creare o modificare le proprietà identificative di un dominio. Si apre dalla schermata iniziale tramite il pulsante Nuovo (creazione) o Modifica (modifica).
Campi disponibili
| Campo | Descrizione |
|---|---|
| Nome | Identificativo univoco del dominio. Viene usato come nome della cartella su disco e come riferimento nelle animazioni. Non può contenere caratteri speciali o spazi. |
| Descrizione | Testo libero per annotare il contesto del dominio (es. "Personaggio principale — scena atto 2"). Opzionale. |
Regole per il nome
- Il nome deve essere univoco tra i domini nella cartella configurata.
- Non può essere vuoto.
- I caratteri ammessi sono lettere, cifre, trattino (-) e underscore (_).
- Modificare il nome di un dominio esistente lo rinomina anche su disco.
Salvare e annullare
Premi OK per confermare le modifiche. Premi Annulla per uscire senza salvare.
In modalità creazione, OK crea la cartella del dominio e il file domain.json.
Usa la descrizione per annotare la versione fisica del setup hardware:
es. "Rev. 2 — servo ST3215, scheda DEIMOS v1.5". Facilita la manutenzione futura.