Added Variable browser to the insert menu. For Ravel #563.

highperformancecoder · May 14, 2024 · 85a1162 · 85a1162
1 parent a871fd8
commit 85a1162
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts b/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts
@@ -360,6 +360,19 @@ export class ApplicationMenuManager {
       label: 'Insert',
       id: 'insert',
       submenu: [
+        {
+          label: 'Variable Browser',
+          click() {
+            WindowManager.createPopupWindowWithRouting({
+              title: 'Variables',
+              url: "#/headless/variable-pane",
+              width: 400,
+              height: 450,
+              alwaysOnTop: true,
+              modal: false,
+            });
+          },
+        },
         {
           label: 'plot',
           async click() {minsky.canvas.addPlot();}