Remove old workspace collection (#33)

* Remove old workspace collection

* fix unused import

Author: guillaume-kotulski

editor/src/commands.ts

@@ -123,7 +123,7 @@ export function checkWorkspaceSyntax(ctx: Ctx): Cmd {
             );
 
             const response = await client.sendRequest(ext.checkWorkspaceSyntax, params);
-            const diagnosticCollection = ctx.workspaceDiagnostic;
+            const diagnosticCollection = ctx.client.diagnostics;
             diagnosticCollection.clear();
             response.items.forEach(diagWorkspace => {
                 const diagnostics: vscode.Diagnostic[] = [];

editor/src/ctx.ts

@@ -6,7 +6,7 @@ import { ResultUpdate, ToolPreparator } from "./toolPreparator";
 import {
     LanguageClient,
     LanguageClientOptions,
-    StreamInfo
+    StreamInfo,
 } from 'vscode-languageclient/node';
 
 import { workspace } from 'vscode';
@@ -25,24 +25,18 @@ export class Ctx {
     private _extensionContext: vscode.ExtensionContext;
     private _commands: Record<string, CommandCallback>;
     private _config: Config;
-    private _workspaceDiagnostic: vscode.DiagnosticCollection;
 
     constructor(ctx: vscode.ExtensionContext) {
         this._client = null;
         this._extensionContext = ctx;
         this._commands = {};
         this._config = null;
-        this._workspaceDiagnostic = vscode.languages.createDiagnosticCollection("4d_workspace");
     }
 
     public get config(): Config {
         return this._config;
     }
 
-    public get workspaceDiagnostic(): vscode.DiagnosticCollection {
-        return this._workspaceDiagnostic;
-    }
-
     public get extensionContext(): vscode.ExtensionContext {
         return this._extensionContext;
     }
@@ -213,22 +207,17 @@ export class Ctx {
         const clientOptions: LanguageClientOptions = {
             // Register the server for plain text documents
             documentSelector: [
-                { scheme: 'file', language: '4d' }, 
+                { scheme: 'file', language: '4d' },
                 { scheme: 'file', language: '4qs' }
             ],
             synchronize: {
                 // Notify the server about file changes to '.clientrc files contained in the workspace
-                fileEvents: workspace.createFileSystemWatcher('**/.4DSettings')
+                fileEvents: workspace.createFileSystemWatcher('**/.4DSettings'),
+                // Configure textDocument sync options to include save notifications
+                configurationSection: '4D-Analyzer'
             },
             initializationOptions: this._config.cfg,
             diagnosticCollectionName: "4d",
-            middleware: {
-                provideDiagnostics: (document, previousResultId, token, next) => {
-                    if (this._config.diagnosticEnabled)
-                        this._workspaceDiagnostic.set(document instanceof vscode.Uri ? document : document.uri, undefined);
-                    return next(document, previousResultId, token);
-                }
-            }
         };
         // Create the language client and start the client.
         this._client = new LanguageClient(
@@ -243,6 +232,7 @@ export class Ctx {
 
     public start() {
         this._config = new Config(this._extensionContext);
+
         if (this._config.IsTool4DEnabled()) {
             this.prepareTool4D(this._config.tool4DWanted(), this._config.tool4DLocation(), this._config.tool4DDownloadChannel())
                 .then(result => {