#793 properly size menubar/notch padding for Monterey

src/display.c

@@ -102,9 +102,10 @@ CGRect display_bounds_constrained(uint32_t did)
     }
 
     if (display_manager_menu_bar_hidden()) {
-        if (workspace_display_has_notch(did)) {
-            frame.origin.y    += 38;
-            frame.size.height -= 38;
+        int notch_height = workspace_display_has_notch(did);
+        if (notch_height) {
+            frame.origin.y    += notch_height;
+            frame.size.height -= notch_height;
         }
     } else {
         CGRect menu = display_manager_menu_bar_rect(did);

src/display_manager.c

@@ -212,12 +212,16 @@ CGRect display_manager_menu_bar_rect(uint32_t did)
 
     //
     // NOTE(koekeishiya): SLSGetRevealedMenuBarBounds is broken on Apple Silicon and always returns an empty rectangle,
-    // The menubar height seems to be a constant of 24/44em always, regardless of the display being a 13" or 16",
-    // so we patch it here. The width of the menubar should be equal to the width of the display.
+    // The menubar height seems to be a constant of 24em always, regardless of the display being a 13" or 16",
+    // so we patch it here. For screens with a notch, the height of the notch determines the lowest y-coordinate
+    // that windows can be placed at. The width of the menubar should be equal to the width of the display.
     //
 
-    bounds.size.height = workspace_display_has_notch(did) ? 44 : 24;
+    int notch_height = workspace_display_has_notch(did);
+    if (!notch_height) notch_height = 24;
 
+    bounds.size.height = notch_height;
+    bounds.size.width = CGDisplayPixelsWide(did);
 #endif
 
     return bounds;

src/workspace.h

@@ -17,7 +17,7 @@ bool workspace_application_is_observable(struct process *process);
 bool workspace_application_is_finished_launching(struct process *process);
 void workspace_application_observe_finished_launching(void *context, struct process *process);
 void workspace_application_observe_activation_policy(void *context, struct process *process);
-bool workspace_display_has_notch(uint32_t did);
+int workspace_display_has_notch(uint32_t did);
 pid_t workspace_get_dock_pid(void);
 bool workspace_is_macos_monterey(void);
 bool workspace_is_macos_bigsur(void);

src/workspace.m

@@ -99,19 +99,20 @@ bool workspace_application_is_finished_launching(struct process *process)
     }
 }
 
-bool workspace_display_has_notch(uint32_t did)
+int workspace_display_has_notch(uint32_t did)
 {
-    if (!CGDisplayIsBuiltin(did)) return false;
+    if (!CGDisplayIsBuiltin(did)) return 0;
 
     if (__builtin_available(macos 12.0, *)) {
         for (NSScreen *screen in [NSScreen screens]) {
             if ([[[screen deviceDescription] objectForKey:@"NSScreenNumber"] unsignedIntValue] == did) {
-                return screen.safeAreaInsets.top != 0;
+                printf("safeAreaInsets.top = %f\n", screen.safeAreaInsets.top);
+                return screen.safeAreaInsets.top;
             }
         }
     }
 
-    return false;
+    return 0;
 }
 
 pid_t workspace_get_dock_pid(void)