{
  "Theme": "Theme",
  "Local": "Local",
  "Dark theme": "Dark theme",
  "Optional": "Optional",
  "Non-optional": "Non-optional",
  "Current": "Current",
  "Default": "Default",
  "Theme Editor": "Theme Editor",
  "Save": "Save",
  "Close": "Close",
  "Edit": "Edit",
  "Export": "Export",
  "edit Theme Config": "edit Theme Config",
  "The theme of the JSON format is incorrect": "The theme of the JSON format is incorrect",
  "Edited successfully": "Edited successfully",
  "Saved successfully": "Saved successfully",
  "Initializing Editor...": "Initializing Editor...",
  "Save theme": "Save theme",
  "Please set a name for this theme": "Please set a name for this theme",
  "Please input the theme name": "Please input the theme name"
}
