package.json

{
    "name": "cryptol",
    "displayName": "Cryptol Highlighting",
    "description": "",
    "version": "0.7.0",
    "publisher": "jldodds",
    "engines": {
        "vscode": "^1.18.0"
    },
    "icon": "galois_github.png",
    "categories": [
        "Programming Languages"
    ],
    "repository": {
        "type": "git",
        "url": "https://github.com/GaloisInc/cryptol-vscode.git"
    },
    "activationEvents": [
        "onLanguage:cryptol",
        "onLanguage:saw"
    ],
    "main": "./out/extension",
    "contributes": {
        "languages": [
            {
                "id": "cryptol",
                "aliases": [
                    "Cryptol",
                    "cryptol"
                ],
                "extensions": [
                    ".cry"
                ],
                "configuration": "./language-configuration.json"
            },
            {
                "id": "saw",
                "aliases": [
                    "SAW",
                    "saw"
                ],
                "extensions": [
                    ".saw"
                ],
                "configuration": "./language-configuration.json"
            }
        ],
        "grammars": [
            {
                "language": "cryptol",
                "scopeName": "source.cryptol",
                "path": "./syntaxes/cryptol.tmLanguage.json"
            },
            {
                "language": "saw",
                "scopeName": "source.saw",
                "path": "./syntaxes/saw.tmLanguage.json"
            }
        ],
        "commands": [
            {
                "command": "cryptol.runInTerminal",
                "title": "Cryptol: Run the current file in Cryptol"
            },
            {
                "command": "cryptol.runSelectionInTerminal",
                "title": "Cryptol: Run the current selection in Cryptol"
            },
            {
                "command": "cryptol.typeSelectionInTerminal",
                "title": "Cryptol: Type the current selection in Cryptol"
            },
            {
                "command": "cryptol-vscode.enableCodeLens",
                "title": "Enable CodeLens",
                "category": "CodeLens"
            },
            {
                "command": "cryptol-vscode.disableCodeLens",
                "title": "Disable CodeLens"
            }
        ],
        "keybindings": [
            {
                "command": "cryptol.runInTerminal",
                "key": "ctrl+shift+c",
                "when": "editorTextFocus"
            },
            {
                "command": "cryptol.runSelectionInTerminal",
                "key": "ctrl+shift+e",
                "when": "editorTextFocus"
            },
            {
                "command": "cryptol.typeSelectionInTerminal",
                "key": "ctrl+shift+t",
                "when": "editorTextFocus"
            }
        ],
        "configuration": {
            "properties": {
                "cryptol.path": {
                    "type": "string",
                    "default": "cryptol",
                    "description": "The path for the Cryptol REPL"
                }
            }
        },
        "snippets": [
            {
                "language": "cryptol",
                "path": "./snippets/cryptol.snippets.json"
            },
            {
                "language": "saw",
                "path": "./snippets/saw.snippets.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",
        "lint": "eslint . --ext .ts, .tsx"
    },
    "devDependencies": {
        "typescript": "^2.6.1",
        "vscode": "^1.1.6",
        "tslint": "^5.8.0",
        "vscode-languageclient": "^3.3.0",
        "@types/node": "^7.0.43",
        "@types/mocha": "^2.2.42",
        "@typescript-eslint/eslint-plugin": "^4.16.0",
        "@typescript-eslint/parser": "^4.16.0",
        "eslint": "^7.21.0"
    }
}