package.json

{
  "name": "redtt-diagnostics",
  "displayName": "redtt diagnostics",
  "description": "Diagnostics for the redtt Proof Assistant",
  "version": "0.0.5",
  "publisher": "mr-konn",
  "repository": {
    "type": "git",
    "url": "https://github.com/konn/vscode-redtt-diagnostics"
  },
  "engines": {
    "vscode": "^1.28.0"
  },
  "categories": [
    "Other"
  ],
  "activationEvents": [
    "onLanguage:redtt"
  ],
  "main": "./out/extension",
  "contributes": {
    "configuration": [
      {
        "title": "Redtt Diagnostics",
        "properties": {
          "redtt.executable": {
            "type": "string",
            "markdownDescription": "Path to `redtt` executable",
            "default": "redtt"
          },
          "redtt.diagnostics.onChange": {
            "type": "boolean",
            "markdownDescription": "Run `redtt` on unsaved contents",
            "default": false
          }
        }
      }
    ],
    "configurationDefaults": {
      "files.exclude": {
        "*.rot": true
      }
    }
  },
  "extensionDependencies": [
    "agryzlov.redtt",
    "mr-konn.generic-input-method"
  ],
  "dependencies": {
    "event-stream": ">= 3.3.4",
    "tar": ">=4.4.2",
    "querystringify": "~>2.0.0"
  },
  "scripts": {
    "vscode:prepublish": "npm run compile",
    "compile": "tsc -p ./",
    "watch": "tsc -watch -p ./",
    "postinstall": "node ./node_modules/vscode/bin/install",
    "test": "npm run compile && node ./node_modules/vscode/bin/test"
  },
  "devDependencies": {
    "@types/mocha": "^2.2.42",
    "@types/node": "^8.10.25",
    "tslint": "^5.8.0",
    "typescript": "^2.6.1",
    "vscode": "^1.1.34"
  }
}