Remove outdated app menu item names

lurchmath · Jul 23, 2024 · fef61b0 · fef61b0
1 parent cf85c23
commit fef61b0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/tut-08-document-header.md b/docs/tut-08-document-header.md
@@ -12,7 +12,7 @@
     "menuData" : {
         "document" : {
             "title" : "Document",
-            "items" : "editheader | validate clearvalidation | docsettings temptoggle"
+            "items" : "togglemeaning validate | docsettings"
         }
     }
 }

diff --git a/docs/tut-09a-real-math.md b/docs/tut-09a-real-math.md
@@ -18,7 +18,7 @@ proof below.
     "menuData" : {
         "document" : {
             "title" : "Document",
-            "items" : "editheader | validate clearvalidation | docsettings temptoggle"
+            "items" : "togglemeaning validate | docsettings"
         }
     }
 }