From 157da8d61934965934bd9dc15531152130c45bba Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Fri, 22 May 2020 14:40:38 +0200
Subject: [PATCH] no longer activates extension on normal text documents +
recognize correct file ending
---
.vscode/settings.json | 3 ++-
CHANGELOG.md | 9 ++++++++-
README.md | 8 +++++++-
client/src/extension.ts | 4 ++--
package.json | 24 +++++++++++++++++++++---
5 files changed, 40 insertions(+), 8 deletions(-)
diff --git a/.vscode/settings.json b/.vscode/settings.json
index 51284b6..3fc0fa6 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -6,5 +6,6 @@
"editor.codeActionsOnSave": {
"source.fixAll.eslint": true
},
- "languageServer.wdChecks": false
+ "languageServer.wdChecks": false,
+ "languageServer.probHome": "/home/sebastian/prob_prolog/probcli.sh"
}
\ No newline at end of file
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 161d47d..a62e17d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -27,4 +27,11 @@
## [0.1.1]
-- fixed issue where path was semi hard coded
\ No newline at end of file
+- fixed issue where path was semi hard coded
+
+
+
+## [0.2.0]
+
+- recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
+- no longer activates extension on normal text documents
\ No newline at end of file
diff --git a/README.md b/README.md
index ee0ce5f..9e22d8c 100644
--- a/README.md
+++ b/README.md
@@ -68,4 +68,10 @@ Please note that user settings overwrite workspace settings.
### 0.1.1
-- fixed issue where path was semi hard coded
\ No newline at end of file
+- fixed issue where path was semi hard coded
+
+
+### 0.2.0
+
+- recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
+- no longer activates extension on normal text documents
\ No newline at end of file
diff --git a/client/src/extension.ts b/client/src/extension.ts
index 69ecdea..32890ee 100644
--- a/client/src/extension.ts
+++ b/client/src/extension.ts
@@ -38,8 +38,8 @@ export function activate(context: ExtensionContext) {
// Options to control the language client
let clientOptions: LanguageClientOptions = {
- // Register the server for plain text documents
- documentSelector: [{ scheme: 'file', language: 'plaintext' }],
+ // Register the server for B, EventB documents
+ documentSelector: [{ scheme: 'file', language: 'B' }, { scheme: 'file', language: 'EventB' }],
synchronize: {
// Notify the server about file changes to '.clientrc files contained in the workspace
fileEvents: workspace.createFileSystemWatcher('**/.clientrc')
diff --git a/package.json b/package.json
index 8081649..4c2890c 100644
--- a/package.json
+++ b/package.json
@@ -24,7 +24,8 @@
"proB"
],
"activationEvents": [
- "onLanguage:plaintext"
+ "onLanguage:B",
+ "onLanguage:EventB"
],
"main": "./client/out/extension",
"contributes": {
@@ -68,7 +69,24 @@
"description": "Option for stricter Checks"
}
}
- }
+ },
+ "languages": [
+ {
+ "id": "B",
+ "extensions": [
+ ".mch",
+ ".ref",
+ ".imp",
+ ".def"
+ ]
+ },
+ {
+ "id": "EventB",
+ "extensions": [
+ ".sys"
+ ]
+ }
+ ]
},
"scripts": {
"vscode:prepublish": "npm run compile",
@@ -99,4 +117,4 @@
"vscode-api": "0.0.0",
"vscode-uri": "^2.1.1"
}
-}
+}
\ No newline at end of file
--
GitLab