package.json

{
  "private": true,
  "name": "browser-app",
  "version": "2.0.0-rc9",
  "license": "AGPL-3.0-or-later",
  "dependencies": {
    "@theia/core": "1.27.0",
    "@theia/debug": "1.27.0",
    "@theia/editor": "1.27.0",
    "@theia/file-search": "1.27.0",
    "@theia/filesystem": "1.27.0",
    "@theia/keymaps": "1.27.0",
    "@theia/messages": "1.27.0",
    "@theia/monaco": "1.27.0",
    "@theia/navigator": "1.27.0",
    "@theia/plugin-ext": "1.27.0",
    "@theia/plugin-ext-vscode": "1.27.0",
    "@theia/preferences": "1.27.0",
    "@theia/process": "1.27.0",
    "@theia/terminal": "1.27.0",
    "@theia/workspace": "1.27.0",
    "arduino-ide-extension": "2.0.0-rc9"
  },
  "devDependencies": {
    "@theia/cli": "1.27.0"
  },
  "scripts": {
    "prepare": "theia build --mode development",
    "start": "theia start --plugins=local-dir:../plugins",
    "watch": "theia build --watch --mode development"
  },
  "theia": {
    "frontend": {
      "config": {
        "applicationName": "Arduino IDE",
        "defaultTheme": "arduino-theme",
        "preferences": {
          "files.autoSave": "afterDelay",
          "editor.minimap.enabled": false,
          "editor.tabSize": 2,
          "editor.scrollBeyondLastLine": false,
          "editor.quickSuggestions": {
            "other": false,
            "comments": false,
            "strings": false
          },
          "breadcrumbs.enabled": false
        }
      }
    },
    "backend": {
      "config": {
        "configDirName": ".arduinoIDE"
      }
    },
    "generator": {
      "config": {
        "preloadTemplate": "<div class='theia-preload' style='background-color: rgb(237, 241, 242);'></div>"
      }
    }
  }
}