Browse Source

fix: 启用状态栏,去除右侧边栏

Leo 1 year ago
parent
commit
d4386974f8

+ 15 - 15
packages/application-extension/src/index.tsx

@@ -303,21 +303,21 @@ const mainCommands: JupyterFrontEndPlugin<void> = {
         isVisible: () => !labShell.isEmpty('left')
       });
 
-      commands.addCommand(CommandIDs.toggleRightArea, {
-        label: () => trans.__('Show Right Sidebar'),
-        execute: () => {
-          if (labShell.rightCollapsed) {
-            labShell.expandRight();
-          } else {
-            labShell.collapseRight();
-            if (labShell.currentWidget) {
-              labShell.activateById(labShell.currentWidget.id);
-            }
-          }
-        },
-        isToggled: () => !labShell.rightCollapsed,
-        isVisible: () => !labShell.isEmpty('right')
-      });
+      // commands.addCommand(CommandIDs.toggleRightArea, {
+      //   label: () => trans.__('Show Right Sidebar'),
+      //   execute: () => {
+      //     if (labShell.rightCollapsed) {
+      //       labShell.expandRight();
+      //     } else {
+      //       labShell.collapseRight();
+      //       if (labShell.currentWidget) {
+      //         labShell.activateById(labShell.currentWidget.id);
+      //       }
+      //     }
+      //   },
+      //   isToggled: () => !labShell.rightCollapsed,
+      //   isVisible: () => !labShell.isEmpty('right')
+      // });
 
       commands.addCommand(CommandIDs.togglePresentationMode, {
         label: () => trans.__('Presentation Mode'),

+ 2 - 2
packages/application/src/shell.ts

@@ -333,7 +333,7 @@ export class LabShell extends Widget implements JupyterFrontEnd.IShell {
     // hsplitPanel.addWidget(rightHandler.stackedPanel);
 
     vsplitPanel.addWidget(hsplitPanel);
-    // vsplitPanel.addWidget(downPanel);
+    vsplitPanel.addWidget(downPanel);
 
     hboxPanel.addWidget(leftHandler.sideBar);
     hboxPanel.addWidget(vsplitPanel);
@@ -358,7 +358,7 @@ export class LabShell extends Widget implements JupyterFrontEnd.IShell {
     rootLayout.addWidget(headerPanel);
     rootLayout.addWidget(topHandler.panel);
     rootLayout.addWidget(hboxPanel);
-    // rootLayout.addWidget(bottomPanel);
+    rootLayout.addWidget(bottomPanel);
 
     // initially hiding header and bottom panel when no elements inside,
     this._headerPanel.hide();

+ 1 - 1
packages/extensionmanager-extension/schema/plugin.json

@@ -58,4 +58,4 @@
   },
   "additionalProperties": false,
   "type": "object"
-}
+}