# HG changeset patch
# User wenzelm
# Date 1761405230 -7200
# Node ID 67c848a77c7e1a0833792c0594653bde8c6f6fea
# Parent  fea56c7615fde7770b05d839f9429a01a741a599
tuned: avoid camel-case;

diff -r fea56c7615fd -r 67c848a77c7e src/Tools/VSCode/extension/src/documentation_panel.ts
--- a/src/Tools/VSCode/extension/src/documentation_panel.ts	Sat Oct 25 17:08:15 2025 +0200
+++ b/src/Tools/VSCode/extension/src/documentation_panel.ts	Sat Oct 25 17:13:50 2025 +0200
@@ -20,7 +20,7 @@
   public static readonly view_type = 'isabelle-documentation';
 
   private _view?: WebviewView;
-  private _documentationSections: any[] = [];
+  private _documentation_sections: any[] = [];
   private _initialized = false;
 
   constructor(
@@ -40,7 +40,7 @@
       if (!params || !params.sections || !Array.isArray(params.sections)) {
         return;
       }
-      this._documentationSections = params.sections;
+      this._documentation_sections = params.sections;
       if (this._view) {
         this._update_webview();
       }
@@ -62,7 +62,7 @@
 
     this._view.webview.html = this._get_html();
 
-    if (Object.keys(this._documentationSections).length > 0) {
+    if (Object.keys(this._documentation_sections).length > 0) {
       this._update_webview();
     }
 
@@ -82,7 +82,7 @@
 
     this._view.webview.postMessage({
       command: 'update',
-      sections: this._documentationSections,
+      sections: this._documentation_sections,
     });
   }