{
  "Add new theme": "Aggiungi nuovo tema",
  "Close": "Chiudi",
  "Compact": "Compatto",
  "Compact dark": "Scuro compatto",
  "Create a brand new theme": "Crea un tema completamente nuovo",
  "Current": "Corrente",
  "Dark": "Scuro",
  "Dark theme": "Tema scuro",
  "Default": "Predefinito",
  "Default theme": "Tema predefinito",
  "Delete theme": "Elimina tema",
  "Deleted successfully": "Eliminato con successo",
  "Deletion is unrecoverable. Confirm deletion?": "L'eliminazione è irreversibile. Confermare l'eliminazione?",
  "Edit": "Modifica",
  "Edit based on current theme": "Modifica basata sul tema corrente",
  "Edit theme": "Modifica tema",
  "Edited successfully": "Modifica riuscita",
  "Export": "Esporta",
  "Initializing Editor...": "Inizializzazione Editor...",
  "Local": "Local",
  "Non-optional": "Non opzionale",
  "Optional": "Opzionale",
  "Please input the theme name": "Inserisci il nome del tema",
  "Please set a name for this theme": "Imposta un nome per questo tema",
  "Save": "Salva",
  "Save theme": "Salva tema",
  "Saved successfully": "Salvataggio riuscito",
  "The theme of the JSON format is incorrect": "Il tema del formato JSON non è corretto",
  "Theme": "Theme",
  "Theme Editor": "Editor Tema",
  "Theme editor": "Editor temi",
  "Themes": "Temi",
  "Updated successfully": "Aggiornato con successo",
  "User selectable": "Selezionabile dall'utente",
  "edit Theme Config": "modifica Configurazione Tema"
}