Merge pull request #5391 from jupyterlab/persist-and-save-enable

Make persist and save use save enabled

packages/mainmenu-extension/src/index.ts

@@ -255,11 +255,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,

packages/notebook-extension/src/index.ts

@@ -1590,7 +1590,9 @@ function addCommands(
         app.commands.execute('docmanager:save');
       }
     },
-    isEnabled
+    isEnabled: args => {
+      return isEnabled() && commands.isEnabled('docmanager:save', args);
+    }
   });
 }