Merge pull request #6415 from jeewonkoo/develop

jtpio · web-flow · commit 9cde2b6ed8de · 2022-05-03T10:26:55.000+02:00
add the show header command to the command palette
diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
@@ -481,12 +481,13 @@ const title: JupyterFrontEndPlugin<void> = {
 const topVisibility: JupyterFrontEndPlugin<void> = {
   id: '@jupyter-notebook/application-extension:top',
   requires: [INotebookShell, ITranslator],
-  optional: [ISettingRegistry],
+  optional: [ISettingRegistry, ICommandPalette],
   activate: (
     app: JupyterFrontEnd<JupyterFrontEnd.IShell>,
     notebookShell: INotebookShell,
     translator: ITranslator,
-    settingRegistry: ISettingRegistry | null
+    settingRegistry: ISettingRegistry | null,
+    palette: ICommandPalette | null
   ) => {
     const trans = translator.load('notebook');
     const top = notebookShell.top;
@@ -527,6 +528,10 @@ const topVisibility: JupyterFrontEndPlugin<void> = {
         });
     }
 
+    if (palette) {
+      palette.addItem({ command: CommandIDs.toggleTop, category: 'View' });
+    }
+
     const onChanged = (): void => {
       if (settingsOverride) {
         return;
