package.json

{
    "name": "boogie-vscode",
    "displayName": "Boogie",
    "description": "Boogie for Visual Studio Code",
    "version": "0.0.1",
    "publisher": "boogie",
    "homepage": "https://github.com/boogie-org",
    "repository": {
        "type": "git",
        "url": "https://github.com/boogie-org/boogie-vscode.git"
    },
    "bugs": {
        "url": "https://github.com/boogie-org/boogie-vscode/issues"
    },
    "icon": "images/boogie.png",
    "engines": {
        "vscode": "^1.31.0"
    },
    "categories": [
        "Programming Languages"
    ],
    "activationEvents": [
        "onCommand:boogie.verifyFile"
    ],
    "main": "./out/extension.js",
    "contributes": {
        "commands": [
            {
                "command": "boogie.verifyFile",
                "title": "Verify This File",
                "category": "Boogie"
            }
        ],
        "keybindings": [
            {
                "command": "boogie.verifyFile",
                "key": "f5",
                "when": "editorLangId == boogie"
            }
        ],
        "languages": [
            {
                "id": "boogie",
                "aliases": ["Boogie", "boogie"],
                "extensions": [".bpl"],
                "configuration": "./language-configuration.json"
            }
        ],
        "grammars": [
            {
                "language": "boogie",
                "scopeName": "source.boogie",
                "path": "./syntaxes/boogie.tmLanguage.json"
            }
        ]
    },
    "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": {
        "typescript": "^3.3.1",
        "vscode": "^1.1.37",
        "tslint": "^5.12.1",
        "@types/node": "^10.12.21",
        "@types/mocha": "^2.2.42"
    }
}