Added Edit Notebook Metadata Option (jupyter#6402)

Dilip-Jain · Oct 9, 2023 · c597c36 · c597c36
1 parent b2e380a
commit c597c36
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts
@@ -503,20 +503,20 @@ const editNotebookMetadata: JupyterFrontEndPlugin<void> = {
         const command = 'application:toggle-panel';
         const args = {
           side: 'right',
-          title: `Show Notebook Tools`,
+          title: 'Show Notebook Tools',
           id: 'notebook-tools',
-        }
-
+        };
+        
         // Check if Show Notebook Tools (Right Sidebar) is open (expanded)
-        if (!commands.isToggled(command, args)){
-          await commands.execute(command, args).then(_ => {
+        if (!commands.isToggled(command, args)) {
+          await commands.execute(command, args).then((_) => {
 
             // For expanding the 'Advanced Tools' section (default: collapsed)
-            if (notebookTools){
-              let tools = (notebookTools?.layout as any).widgets;
+            if (notebookTools) {
+              const tools = (notebookTools?.layout as any).widgets;
               tools.forEach((tool: any) => {
-                if (tool.widget.title.label === 'Advanced Tools' && tool.collapsed){
-                  tool.toggle()
+                if ( tool.widget.title.label === 'Advanced Tools' && tool.collapsed ){
+                  tool.toggle();
                 }
               });
             }
@@ -526,7 +526,7 @@ const editNotebookMetadata: JupyterFrontEndPlugin<void> = {
     });
 
     // Add `Edit Notebook Metadata` option to Edit menu
-    menu.editMenu.addItem({type: 'command', command: id, rank: 40})
+    menu.editMenu.addItem({ type: 'command', command: id, rank: 40 })
   },
 };