Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/vscode/uwaterloo.cforall-0.1.0/package.json

    rebe0f0d ra768220  
    1515                "Other"
    1616        ],
    17         "activationEvents": [
    18                 "onLanguage:cforall"
    19         ],
    20         "main": "./client/main.js",
    2117        "contributes": {
    2218                "languages": [
     
    4339                                "path": "./syntaxes/cfa.tmLanguage.json"
    4440                        }
    45                 ],
    46                 "configuration": {
    47                         "type": "object",
    48                         "title": "Example configuration",
    49                         "properties": {
    50                                 "cforall.maxNumberOfProblems": {
    51                                         "scope": "resource",
    52                                         "type": "number",
    53                                         "default": 100,
    54                                         "description": "Controls the maximum number of problems produced by the server."
    55                                 },
    56                                 "cforall.trace.server": {
    57                                         "scope": "window",
    58                                         "type": "string",
    59                                         "enum": [
    60                                                 "off",
    61                                                 "messages",
    62                                                 "verbose"
    63                                         ],
    64                                         "default": "off",
    65                                         "description": "Traces the communication between VS Code and the language server."
    66                                 }
    67                         }
    68                 }
    69         },
    70         "dependencies": {
    71                 "vscode-languageclient": "^4.1.4"
    72         },
    73         "devDependencies": {
    74                 "vscode-languageclient": "^4.1.4"
     41                ]
    7542        }
    7643}
Note: See TracChangeset for help on using the changeset viewer.