unused;

--- a/src/Tools/VSCode/extension/src/documentation_panel.ts	Mon Nov 03 15:05:39 2025 +0100
+++ b/src/Tools/VSCode/extension/src/documentation_panel.ts	Mon Nov 03 15:08:18 2025 +0100
@@ -21,7 +21,6 @@
 
   private _view?: WebviewView;
   private _documentation_sections: any[] = [];
-  private _initialized = false;
 
   constructor(
     private readonly _extension_uri: Uri,
@@ -70,8 +69,6 @@
         this._open_document(message.platform_path);
       }
     });
-
-    this._initialized = true;
   }
 
   private _update_webview(): void {

--- a/src/Tools/VSCode/extension/src/symbol_panel.ts	Mon Nov 03 15:05:39 2025 +0100
+++ b/src/Tools/VSCode/extension/src/symbol_panel.ts	Mon Nov 03 15:08:18 2025 +0100
@@ -21,7 +21,6 @@
 
   private _view?: WebviewView
   private _grouped_symbols: { [key: string]: lsp.Symbol_Entry[] } = {}
-  private _initialized = false;
   private _abbrevs: [string, string][] = [];
 
   constructor(
@@ -81,9 +80,6 @@
         this._apply_control_effect(message.action);
       }
     });
-
-
-    this._initialized = true;
   }
 
   private _apply_control_effect(action: string): void {