{
  "Add new theme": "Add new theme",
  "Close": "Fermer",
  "Compact": "Compact",
  "Compact dark": "Compact dark",
  "Create a brand new theme": "Create a brand new theme",
  "Current": "Actuel",
  "Dark": "Dark",
  "Dark theme": "Thème sombre",
  "Default": "Par défaut",
  "Default theme": "Default theme",
  "Delete theme": "Delete theme",
  "Deleted successfully": "Deleted successfully",
  "Deletion is unrecoverable. Confirm deletion?": "Deletion is unrecoverable. Confirm deletion?",
  "Edit": "Modifier",
  "Edit based on current theme": "Edit based on current theme",
  "Edit theme": "Modifier le thème",
  "Edited successfully": "Modifié avec succès",
  "Export": "Exporter",
  "Initializing Editor...": "Initialisation de l'éditeur...",
  "Local": "Local",
  "Non-optional": "Non-optionnel",
  "Optional": "Optionnel",
  "Please input the theme name": "Veuillez saisir le nom du thème",
  "Please set a name for this theme": "Veuillez définir un nom pour ce thème",
  "Save": "Enregistrer",
  "Save theme": "Enregistrer le thème",
  "Saved successfully": "Enregistré avec succès",
  "The theme of the JSON format is incorrect": "Le thème au format JSON est incorrect",
  "Theme": "Thème",
  "Theme Editor": "Éditeur de thème",
  "Theme editor": "Theme editor",
  "Themes": "Themes",
  "Updated successfully": "Updated successfully",
  "User selectable": "User selectable",
  "edit Theme Config": "Modifier la configuration du thème"
}