mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-17 09:16:11 +03:00
found a better explanation for the reason to hide dock before menu
This commit is contained in:
@ -167,9 +167,9 @@ class NonNativeFullscreen: FullscreenBase, FullscreenStyle {
|
|||||||
self.savedState = savedState
|
self.savedState = savedState
|
||||||
|
|
||||||
// We hide the dock if the window is on a screen with the dock.
|
// We hide the dock if the window is on a screen with the dock.
|
||||||
// This is crazy but at least on macOS 15.0, you must hide the dock
|
// We must hide the dock FIRST then hide the menu:
|
||||||
// FIRST then hide the menu. If you do the opposite, it does not
|
// If you specify autoHideMenuBar, it must be accompanied by either hideDock or autoHideDock.
|
||||||
// work.
|
// https://developer.apple.com/documentation/appkit/nsapplication/presentationoptions-swift.struct
|
||||||
if (savedState.dock) {
|
if (savedState.dock) {
|
||||||
hideDock()
|
hideDock()
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user