Skip to content
Snippets Groups Projects
Commit bedb46ca authored by SeeBasTStick's avatar SeeBasTStick
Browse files

spell fixes, prepared version 0.0.2

parent 4153f25c
Branches
Tags
No related merge requests found
...@@ -4,3 +4,8 @@ ...@@ -4,3 +4,8 @@
## [0.0.1] ## [0.0.1]
- first prototype version - first prototype version
## [0.0.2]
- option to add cutom path
\ No newline at end of file
...@@ -14,17 +14,13 @@ Compiler support for b/eventb via ProB. You need a build a version of ProB downl ...@@ -14,17 +14,13 @@ Compiler support for b/eventb via ProB. You need a build a version of ProB downl
## Extension Settings ## Extension Settings
Include if your extension adds any VS Code settings through the `contributes.configuration` extension point.
For example:
This extension contributes the following settings: This extension contributes the following settings:
* `myExtension.enable`: enable/disable this extension * `languageServer.probHome`: to set the path to ProB
* `myExtension.thing`: set to `blah` to do something
## Bugs ## Bugs
- please opne an issue at https://github.com/SeeBasTStick/b-eventb-language-extension - please open an issue at https://github.com/SeeBasTStick/b-eventb-language-extension
## Future plans ## Future plans
...@@ -33,6 +29,11 @@ This extension contributes the following settings: ...@@ -33,6 +29,11 @@ This extension contributes the following settings:
## Release Notes ## Release Notes
### 0.0.1 ### 0.0.1
- First prototype minimum features - First prototype minimum features
### 0.0.2
- Added option to set ProB path
\ No newline at end of file
...@@ -48,7 +48,7 @@ export function activate(context: ExtensionContext) { ...@@ -48,7 +48,7 @@ export function activate(context: ExtensionContext) {
// Create the language client and start the client. // Create the language client and start the client.
client = new LanguageClient( client = new LanguageClient(
'languageServerExample', 'languageServer',
'Language Server Example', 'Language Server Example',
serverOptions, serverOptions,
clientOptions clientOptions
......
...@@ -26,15 +26,15 @@ ...@@ -26,15 +26,15 @@
"contributes": { "contributes": {
"configuration": { "configuration": {
"type": "object", "type": "object",
"title": "Example configuration", "title": "Configuration",
"properties": { "properties": {
"languageServerExample.maxNumberOfProblems": { "languageServer.maxNumberOfProblems": {
"scope": "resource", "scope": "resource",
"type": "number", "type": "number",
"default": 100, "default": 100,
"description": "Controls the maximum number of problems produced by the server." "description": "Controls the maximum number of problems produced by the server."
}, },
"languageServerExample.trace.server": { "languageServer.trace.server": {
"scope": "window", "scope": "window",
"type": "string", "type": "string",
"enum": [ "enum": [
...@@ -45,7 +45,8 @@ ...@@ -45,7 +45,8 @@
"default": "off", "default": "off",
"description": "Traces the communication between VS Code and the language server." "description": "Traces the communication between VS Code and the language server."
}, },
"languageServerExample.probHome":{ "languageServer.probHome":{
"scope": "window",
"type":"string", "type":"string",
"default":"~/prob_prolog/probcli.sh", "default":"~/prob_prolog/probcli.sh",
"description": "Path to ProB executable" "description": "Path to ProB executable"
...@@ -53,6 +54,7 @@ ...@@ -53,6 +54,7 @@
} }
} }
}, },
"scripts": { "scripts": {
"vscode:prepublish": "npm run compile", "vscode:prepublish": "npm run compile",
"compile": "tsc -b", "compile": "tsc -b",
......
...@@ -108,7 +108,7 @@ connection.onDidChangeConfiguration(change => { ...@@ -108,7 +108,7 @@ connection.onDidChangeConfiguration(change => {
documentSettings.clear(); documentSettings.clear();
} else { } else {
globalSettings = <ExampleSettings>( globalSettings = <ExampleSettings>(
(change.settings.languageServerExample || defaultSettings) (change.settings.languageServer || defaultSettings)
); );
} }
...@@ -124,7 +124,7 @@ function getDocumentSettings(resource: string): Thenable<ExampleSettings> { ...@@ -124,7 +124,7 @@ function getDocumentSettings(resource: string): Thenable<ExampleSettings> {
if (!result) { if (!result) {
result = connection.workspace.getConfiguration({ result = connection.workspace.getConfiguration({
scopeUri: resource, scopeUri: resource,
section: 'languageServerExample' section: 'languageServer'
}); });
documentSettings.set(resource, result); documentSettings.set(resource, result);
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment