Fix top bar visibility not picking up settings overrides (#6833)

yumyumqing · yumyumqing · commit 54b8f9f2930a · 2023-04-06T22:52:18.000+08:00
* The header part was only reflecting user preference but not default
    settings overrides.
diff --git a/packages/application-extension/schema/top.json b/packages/application-extension/schema/top.json
@@ -22,6 +22,12 @@
       "title": "Top Bar Visibility",
       "description": "Whether to show the top bar or not",
       "default": true
+    },
+    "adjustToScreen": {
+      "type": "boolean",
+      "title": "Automatic Top Bar Visibility",
+      "description": "Whether to automatically adjust top bar visibility according to screen size, overriding above visible setting",
+      "default": true
     }
   },
   "additionalProperties": false,
diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
@@ -488,15 +488,24 @@ const topVisibility: JupyterFrontEndPlugin<void> = {
       isToggled: () => top.isVisible,
     });
 
-    let settingsOverride = false;
+    let noAdjust = false;
 
     if (settingRegistry) {
       const loadSettings = settingRegistry.load(pluginId);
       const updateSettings = (settings: ISettingRegistry.ISettings): void => {
-        const visible = settings.get('visible').composite;
+        // 'visible' property from user preferences or default settings
+        let visible = settings.get('visible').composite;
         if (settings.user.visible !== undefined) {
-          settingsOverride = true;
-          top.setHidden(!visible);
+          visible = settings.user.visible;
+        }
+        top.setHidden(!visible);
+        // 'adjustToScreen' property from user preferences or default settings
+        let adjustToScreen = settings.get('adjustToScreen').composite;
+        if (settings.user.adjustToScreen !== undefined) {
+          adjustToScreen = settings.user.adjustToScreen;
+        }
+        if (!adjustToScreen) {
+          noAdjust = true;
         }
       };
 
@@ -517,7 +526,7 @@ const topVisibility: JupyterFrontEndPlugin<void> = {
     }
 
     const onChanged = (): void => {
-      if (settingsOverride) {
+      if (noAdjust) {
         return;
       }
       if (app.format === 'desktop') {
