{
  "theme": {
    "label": "Theme",
    "dark": "Dark",
    "light": "Light",
    "system": "System",
    "tip": "Choose a theme"
  },
  "version": {
    "current": "current version",
    "check_update": "Check for updates"
  },
  "app_name": "Gesture Manager for DDE",
  "language": {
    "label": "Language",
    "tip": "Choose a language"
  },
  "help": {
    "label": "Help",
    "tip": "Display help documentation"
  },
  "market": {
    "title": "Solution market"
  },
  "local_manager": {
    "title": "Local solution management"
  }
}