mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-03-19 13:20:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Make zen mode even more compact

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-11 16:41:33 +01:00
parent 0c818c038e
commit 12c24d39e7
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
packages/application-extension/src/index.ts
View File

@ -396,18 +396,16 @@ const zen: JupyterFrontEndPlugin<void> = {
): void => {
const { commands } = app;
const elem = document.documentElement;
const topArea = classicShell?.top;
const menuArea = classicShell?.menu;
const toggleOn = () => {
topArea?.setHidden(true);
menuArea?.setHidden(true);
classicShell?.collapseTop();
classicShell?.menu.setHidden(true);
zenModeEnabled = true;
};
const toggleOff = () => {
topArea?.setHidden(false);
menuArea?.setHidden(false);
classicShell?.expandTop();
classicShell?.menu.setHidden(false);
zenModeEnabled = false;
};