Reopen the goals panel if closed when navigating proofs (Deducteam#1068)

* vscode : first refactoring using browser.ts

* vsce refactoring : adding clientFactory

* code reformating of vscode/src/client.ts

* vscode client.ts refactoring : moving handlers into activate function

* vscode client.ts refactoring : geting ride of the context parameter in handlers functions

* vscode client.ts refactoring : doing same with getNextProof

* vscode: code refactoring, use of browser.ts and config.ts

* vscode: code refactoring, moving everything to start instead of restart

* code refactoring moving register commands outside activateLsp method

* fix/ReopenGoalsPan : add on didDispose to webview

* fix/ReopenGoalsPan: add code to reopen panel when navigation proofs

* fix/ReopenGoalsPan: release focus after Goals panel creation

* refactor : get ride of debug messages

* vscode : added comments to code

* fix/ReopenGoalsPan: remove redundant check on info panel

* fix/ReopenGoalsPan: update CHANGE.md

editors/vscode/CHANGES.md

@@ -4,6 +4,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
 ## [Unreleased]
+- code refactoring of the client for maintenability.
+- fix the bug that causes the proof navigation to malfunction when the Goals panel is closed by the user. Now the panel is recreated whenever needed.
 
 ## [0.1.2] - 2020-12-10
 - use vscode configuration for lambdapi.path to call the lambdapi LSP server

editors/vscode/package.json

@@ -153,7 +153,7 @@
       }
     ]
   },
-  "main": "out/src/client.js",
+  "main": "out/src/browser.js",
   "scripts": {
     "vscode:prepublish": "npm run compile",
     "compile": "tsc -p ./",

editors/vscode/src/browser.ts

@@ -0,0 +1,22 @@
+import { ExtensionContext, window } from "vscode";
+import { LanguageClient } from "vscode-languageclient/node";
+import { activateClientLSP, ClientFactoryType, deactivateClientLSP } from "./client";
+
+export function activate(context: ExtensionContext): void {
+  const cf: ClientFactoryType = (context, clientOptions, wsConfig, lspServerPath) => {
+    let serverOptions = {
+      command: lspServerPath,
+      args: ['lsp']
+    };
+    return new LanguageClient(
+      "lambdapi",
+      "lambdapi language server",
+      serverOptions,
+      clientOptions);
+  };
+  activateClientLSP(context, cf);
+}
+
+export function deactivate() {
+  deactivateClientLSP();
+}