{
  "Theme": "Thème",
  "Local": "Local",
  "Dark theme": "Thème sombre",
  "Optional": "Optionnel",
  "Non-optional": "Non-optionnel",
  "Current": "Actuel",
  "Default": "Par défaut",
  "Theme Editor": "Éditeur de thème",
  "Save": "Enregistrer",
  "Close": "Fermer",
  "Edit": "Modifier",
  "Export": "Exporter",
  "edit Theme Config": "Modifier la configuration du thème",
  "The theme of the JSON format is incorrect": "Le thème au format JSON est incorrect",
  "Edited successfully": "Modifié avec succès",
  "Saved successfully": "Enregistré avec succès",
  "Initializing Editor...": "Initialisation de l'éditeur...",
  "Save theme": "Enregistrer le thème",
  "Please set a name for this theme": "Veuillez définir un nom pour ce thème",
  "Please input the theme name": "Veuillez saisir le nom du thème"
}
