Help menu updates.

kenmonks · Dec 14, 2024 · a3feb6e · a3feb6e
1 parent bf619f5
commit a3feb6e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/instructor.html b/instructor.html
@@ -78,12 +78,12 @@
             url: 'student.html?load=help/quick-start-guide.lurch'
           },
           {
-            title: 'Intro to Proofs in Lurch',
-            url: 'student.html?load=help/proofs-worksheet.lurch'
+            title: 'Instructor menu help',
+            url: 'instructor.html?load=help/instructors-worksheet.lurch'
           },
           {
-            title: 'Lurch for Instructors',
-            url: 'instructor.html?load=help/intructors-worksheet.lurch'
+            title: 'Intro to Proofs in Lurch',
+            url: 'student.html?load=help/proofs-worksheet.lurch'
           },
           {
             title: 'Example Proofs',

diff --git a/lurchmath/editor.js b/lurchmath/editor.js
@@ -307,11 +307,11 @@ window.Lurch = {
                     } )            
                     // Add About Lurch menu item
                     editor.ui.registry.addMenuItem( 'aboutlurch', {
-                        text : 'About Lurch for Math 299',
+                        text : 'About Lurch',
                         // icon : 'help',
-                        tooltip : 'About Lurch for Math 299',
+                        tooltip : 'About Lurch',
                         onAction : () => window.open(
-                            '/lurch', '_blank' )
+                            './about', '_blank' )
                     } )
 
                     // Add red pen menu item