Parcourir la source

Make persist and save use save enabled

Saul Shanabrook il y a 6 ans
Parent
commit
858e4c654f
1 fichiers modifiés avec 9 ajouts et 5 suppressions
  1. 9 5
      packages/mainmenu-extension/src/index.ts

+ 9 - 5
packages/mainmenu-extension/src/index.ts

@@ -231,11 +231,15 @@ export function createFileMenu(app: JupyterLab, menu: FileMenu): void {
       const name = Private.delegateLabel(app, menu.persistAndSavers, 'name');
       return `Save ${name} ${action || 'with Extras'}`;
     },
-    isEnabled: Private.delegateEnabled(
-      app,
-      menu.persistAndSavers,
-      'persistAndSave'
-    ),
+    isEnabled: args => {
+      return (
+        Private.delegateEnabled(
+          app,
+          menu.persistAndSavers,
+          'persistAndSave'
+        )() && commands.isEnabled('docmanager:save', args)
+      );
+    },
     execute: Private.delegateExecute(
       app,
       menu.persistAndSavers,