package.json

{
  "name": "coc-isabelle",
  "version": "0.0.0-development",
  "description": "Because PIDE is not my editor",
  "author": "Ben Fiedler <git@bfiedler.ch>",
  "license": "MIT",
  "main": "lib/index.js",
  "keywords": [
    "coc.nvim"
  ],
  "engines": {
    "coc": "^0.0.80"
  },
  "scripts": {
    "lint": "eslint src --ext ts",
    "clean": "rimraf lib",
    "watch": "node esbuild.js --watch",
    "build": "node esbuild.js",
    "prepare": "node esbuild.js"
  },
  "prettier": {
    "singleQuote": true,
    "printWidth": 120,
    "semi": true
  },
  "devDependencies": {
    "@typescript-eslint/eslint-plugin": "^4.8.2",
    "@typescript-eslint/parser": "^4.8.2",
    "coc.nvim": "^0.0.80",
    "esbuild": "^0.8.42",
    "eslint": "^7.14.0",
    "eslint-config-prettier": "^8.1.0",
    "eslint-plugin-prettier": "^3.1.4",
    "prettier": "^2.2.0",
    "rimraf": "^3.0.2",
    "typescript": "^4.1.2"
  },
  "activationEvents": [
    "*"
  ],
  "contributes": {
    "configuration": {
      "type": "object",
      "title": "coc-isabelle configuration",
      "properties": {
        "coc-isabelle.enabled": {
          "type": "boolean",
          "default": true,
          "description": "Enable coc-isabelle extension"
        }
      }
    },
    "commands": [
      {
        "command": "coc-isabelle.Command",
        "title": "coc-isabelle command title"
      }
    ]
  },
  "dependencies": {
    "vscode-languageserver-protocol": "^3.16.0",
    "vscode-languageserver-textdocument": "^1.0.1"
  }
}