package.json

{
  "name": "leo-extension",
  "version": "0.26.0",
  "publisher": "aleohq",
  "engines": {
    "vscode": "^1.79.0"
  },
  "license": "GPL-3.0",
  "displayName": "Leo",
  "description": "The official VSCode extension for Leo",
  "categories": [
    "Programming Languages",
    "Snippets",
    "Themes"
  ],
  "keywords": [
    "aleo",
    "leo"
  ],
  "galleryBanner": {
    "color": "#931CFF",
    "theme": "dark"
  },
  "preview": false,
  "main": "./client/out/extension",
  "contributes": {
    "configuration": {
      "type": "object",
      "title": "leo configuration",
      "properties": {
        "leo.validate": {
          "type": "boolean",
          "default": true,
          "description": "Enable/disable validation feature"
        },
        "leo.completion": {
          "type": "boolean",
          "default": true,
          "description": "Enable/disable completion feature"
        },
        "leo.maxNumberOfProblems": {
          "scope": "resource",
          "type": "number",
          "default": 100,
          "description": "Controls the maximum number of problems produced by the server."
        },
        "leo.trace.server": {
          "scope": "window",
          "type": "string",
          "enum": [
            "off",
            "messages",
            "verbose"
          ],
          "default": "verbose",
          "description": "Traces the communication between VS Code and the language server."
        }
      }
    },
    "languages": [
      {
        "id": "leo",
        "aliases": [
          "leo"
        ],
        "extensions": [
          ".leo"
        ],
        "configuration": "./syntaxes/language-configuration.json"
      },
      {
        "id": "leoInput",
        "aliases": [
          "leoInput"
        ],
        "extensions": [
          ".in",
          ".out",
          ".state"
        ],
        "configuration": "./syntaxes/language-configuration.json"
      },
      {
        "id": "leoHover",
        "aliases": [
          "leoHover"
        ]
      },
      {
        "id": "aleo",
        "aliases": [
          "Aleo",
          "aleo"
        ],
        "extensions": [
          ".aleo"
        ],
        "configuration": "./syntaxes/language-configuration.json"
      }
    ],
    "grammars": [
      {
        "language": "leo",
        "scopeName": "source.leo",
        "path": "./syntaxes/leo.tmLanguage.json"
      },
      {
        "language": "leoInput",
        "scopeName": "source.leo.leoInput",
        "path": "./syntaxes/leoInput.tmLanguage.json"
      },
      {
        "language": "leoHover",
        "scopeName": "source.leo.hover",
        "path": "./syntaxes/leoHover.tmLanguage.json"
      },
      {
        "language": "aleo",
        "scopeName": "source.aleo",
        "path": "./syntaxes/Aleo.tmLanguage.json"
      }
    ],
    "themes": [
      {
        "label": "Leo Theme",
        "uiTheme": "vs-dark",
        "path": "./themes/Leo Theme-color-theme.json"
      }
    ],
    "commands": [
      {
        "command": "leo-extension.about",
        "title": "Leo About"
      },
      {
        "command": "leo-extension.leo-run",
        "title": "Leo Run"
      }
    ]
  },
  "activationEvents": [
    "onLanguage:leo",
    "onLanguage:leoInput",
    "onLanguage:leoHover",
    "onLanguage:aleo",
    "onCommand:leo-extension.getPluginsInfo",
    "onCommand:leo-extension.about",
    "onCommand:leo-extension.leo-run",
    "workspaceContains:**/*.json",
    "workspaceContains:**/*.leo",
    "workspaceContains:**/*.in",
    "workspaceContains:**/*.out",
    "workspaceContains:**/*.env",
    "workspaceContains:**/*.state",
    "workspaceContains:**/*.aleo",
    "onStartupFinished"
  ],
  "badges": [
    {
      "url": "https://img.shields.io/twitter/follow/AleoHQ?style=social",
      "href": "https://twitter.com/AleoHQ",
      "description": "Twitter"
    },
    {
      "url": "https://img.shields.io/discord/700454073459015690?logo=discord",
      "href": "https://discord.gg/aleohq",
      "description": "Discord"
    }
  ],
  "markdown": "github",
  "qna": "marketplace",
  "dependencies": {
    "jsonc-parser": "^3.2.0",
    "lodash": "^4.17.21",
    "vscode-languageclient": "^8.1.0",
    "vscode-languageserver": "^8.1.0",
    "vscode-languageserver-textdocument": "^1.0.8",
    "vscode-uri": "^3.0.7"
  },
  "devDependencies": {
    "@types/lodash": "^4.14.195",
    "@types/vscode": "^1.79.0",
    "@types/copy-webpack-plugin": "^10.1.0",
    "@types/node": "^20.3.1",
    "@vscode/vsce": "^2.19.0",
    "concurrently": "^8.2.0",
    "git-revision-webpack-plugin": "^5.0.0",
    "merge-options": "^3.0.4",
    "source-map-loader": "^4.0.1",
    "string-replace-loader": "^3.1.0",
    "rimraf": "^5.0.1",
    "ts-loader": "^9.4.3",
    "typescript": "^5.1.3",
    "webpack": "^5.86.0",
    "webpack-cli": "^5.1.4"
  },
  "extensionPack": [],
  "extensionDependencies": [],
  "extensionKind": [
    "ui",
    "workspace"
  ],
  "scripts": {
    "vscode:prepublish": "yarn clean && concurrently -n client,server -c blue,yellow \"webpack --mode production --config ./client/webpack.config.js\" \"webpack --mode production --config ./server/webpack.config.js\"",
    "publish:extension": "vsce publish --yarn -p $VSCODE_PUBLISHER_TOKEN --no-git-tag-version --packagePath ../leo-extension.vsix",
    "package": "vsce package --yarn -o ../leo-extension.vsix",
    "build": "yarn clean && yarn compile",
    "clean": "concurrently \"rimraf client/out\" \"rimraf server/out\"",
    "compile": "concurrently -n client,server -c blue,yellow \"webpack --config ./client/webpack.config.js\" \"webpack --config ./server/webpack.config.js\"",
    "watch": "yarn clean && concurrently -n client,server -c blue,yellow \"webpack --watch --config ./client/webpack.config.js\" \"webpack --watch --config ./server/webpack.config.js\""
  },
  "icon": "icons/leo.png",
  "repository": {
    "type": "git",
    "url": "https://github.com/AleoHQ/leo.git"
  },
  "bugs": {
    "url": "https://github.com/AleoHQ/leo-plugins/issues"
  },
  "homepage": "http://leo-lang.org/",
  "author": "aleohq",
  "private": "true"
}