fix some errors that are thrown when using the --old-toc option (#577)

tc39 · Mar 12, 2024 · 1659ed0 · 1659ed0
1 parent b9a817d
commit 1659ed0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/js/menu.js b/js/menu.js
@@ -771,7 +771,9 @@ let referencePane = {
     this.$tableContainer.appendChild(this.$table);
     this.$pane.appendChild(this.$tableContainer);
 
-    menu.$specContainer.appendChild(this.$container);
+    if (menu != null) {
+      menu.$specContainer.appendChild(this.$container);
+    }
   },
 
   activate() {
@@ -1106,6 +1108,9 @@ function doShortcut(e) {
 }
 
 function init() {
+  if (document.getElementById('menu') == null) {
+    return;
+  }
   menu = new Menu();
   let $container = document.getElementById('spec-container');
   $container.addEventListener(