diff --git a/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts b/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts index 36ac74a22..56f16636d 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/ApplicationMenuManager.ts @@ -435,9 +435,10 @@ export class ApplicationMenuManager { click() { WindowManager.createPopupWindowWithRouting({ title: 'Variables', - url: "#/headless/variable-pane", + url: '#/headless/variable-pane', width: 400, height: 450, + minWidth: 350, alwaysOnTop: true, modal: false, }); diff --git a/gui-js/apps/minsky-web/src/index.html b/gui-js/apps/minsky-web/src/index.html index 1f63ca291..a814e5568 100644 --- a/gui-js/apps/minsky-web/src/index.html +++ b/gui-js/apps/minsky-web/src/index.html @@ -7,6 +7,8 @@ + +