src/Tools/VSCode/extension/media/documentation.js

     function open_document(platform_path) {
       vscode.postMessage({ command: "open_document", platform_path: platform_path });
     }
 
     window.onload = function () {
-        const state = vscode.getState();
-        if (state && state.sections) {
-          update(state.sections);
-        }
-      };
+      const state = vscode.getState();
+      if (state && state.sections) {
+        update(state.sections);
+      }
+    };
   })();