From 4e9133b33340f3aaabaca88b7ef7faef32815ab0 Mon Sep 17 00:00:00 2001
From: Abdelghani ALIDRA <alidrandco@yahoo.fr>
Date: Tue, 19 Mar 2024 11:28:49 +0100
Subject: [PATCH] refactor : get ride of debug messages

---
 editors/vscode/src/client.ts | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/editors/vscode/src/client.ts b/editors/vscode/src/client.ts
index 26912bbb4..72cb4c8ef 100644
--- a/editors/vscode/src/client.ts
+++ b/editors/vscode/src/client.ts
@@ -352,9 +352,7 @@ export function activateClientLSP(context: ExtensionContext,
             resolve(client);
         });
 
-        // window.showInformationMessage("client created");
         cP.then((client) => client.start().then(() => {
-            // window.showInformationMessage("client started");
             // Create and show panel for proof goals
             createInfoPanel(context);
         })
@@ -387,7 +385,6 @@ function createInfoPanel(context: ExtensionContext) {
         {}
     );
     panel.onDidDispose(() => {
-        window.showInformationMessage("Panel has been disposed");
         context.workspaceState.update('panel', null);
     });
     context.workspaceState.update('panel', panel);
@@ -520,24 +517,19 @@ function stepCommand(document: TextDocument, currentPos: Position, forward: bool
     return nextCmdPos;
 }
 function refreshGoals(panel: WebviewPanel | null | undefined, editor: TextEditor | undefined, proofState: Position, context: ExtensionContext) {
-    window.showInformationMessage("running refreshGoals");
     if (!editor) {
-        window.showErrorMessage("refreshGoals : no editor found");
         return;
     }
 
     if(panel == null || !panel) {
-        window.showErrorMessage("refreshGoals : no panel found");
         createInfoPanel(context);
         panel = context.workspaceState.get('panel')!;
-        window.showInformationMessage("refreshGoals : a new panel has been created");
     }
 
    if(panel != null) {
      const styleUri = panel.webview.asWebviewUri(Uri.joinPath(context.extensionUri, 'media', 'styles.css'))
     sendGoalsRequest(proofState, panel, editor.document.uri, styleUri); 
     } else {
-        window.showErrorMessage("refreshGoals : still no panel found");
     }
 }