no longer activates extension on normal text documents + recognize correct file ending

.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

CHANGELOG.md

@@ -28,3 +28,10 @@
 ## [0.1.1]
 
 - 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

README.md

@@ -69,3 +69,9 @@ Please note that user settings overwrite workspace settings.
 ### 0.1.1
 
 - 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

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')

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",