{
  "Add new theme": "Add new theme",
  "Close": "Close",
  "Compact": "Compact",
  "Compact dark": "Compact dark",
  "Create a brand new theme": "Create a brand new theme",
  "Current": "Current",
  "Dark": "Dark",
  "Dark theme": "Dark theme",
  "Default": "Default",
  "Default theme": "Default theme",
  "Delete theme": "Delete theme",
  "Deleted successfully": "Deleted successfully",
  "Deletion is unrecoverable. Confirm deletion?": "Deletion is unrecoverable. Confirm deletion?",
  "Edit": "Edit",
  "Edit based on current theme": "Edit based on current theme",
  "Edit theme": "Редагувати тему",
  "Edited successfully": "Edited successfully",
  "Export": "Export",
  "Initializing Editor...": "Initializing Editor...",
  "Local": "Local",
  "Non-optional": "Non-optional",
  "Optional": "Optional",
  "Please input the theme name": "Please input the theme name",
  "Please set a name for this theme": "Please set a name for this theme",
  "Save": "Save",
  "Save theme": "Save theme",
  "Saved successfully": "Saved successfully",
  "The theme of the JSON format is incorrect": "The theme of the JSON format is incorrect",
  "Theme": "Theme",
  "Theme Editor": "Theme Editor",
  "Theme editor": "Theme editor",
  "Themes": "Themes",
  "Updated successfully": "Updated successfully",
  "User selectable": "User selectable",
  "edit Theme Config": "edit Theme Config"
}