mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-24 11:41:58 +00:00
devdraw: hide dock in full screen mode
Unfortunately this hides the dock even if it is on a different screen. We need to figure out how to tell. But this is more usable than not. Probably.
This commit is contained in:
parent
952a9afae0
commit
3d1382b98a
1 changed files with 13 additions and 0 deletions
|
@ -936,6 +936,19 @@ rpc_setmouse(Client *c, Point p)
|
||||||
o |= NSApplicationPresentationHideDock | NSApplicationPresentationHideMenuBar;
|
o |= NSApplicationPresentationHideDock | NSApplicationPresentationHideMenuBar;
|
||||||
return o;
|
return o;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
- (void)windowWillEnterFullScreen:(NSNotification*)notification {
|
||||||
|
// TODO: This should only be done if the window
|
||||||
|
// is on the screen with the dock.
|
||||||
|
// But how can you tell which window has the dock?
|
||||||
|
[[NSApplication sharedApplication]
|
||||||
|
setPresentationOptions:NSApplicationPresentationHideMenuBar | NSApplicationPresentationHideDock];
|
||||||
|
}
|
||||||
|
|
||||||
|
- (void)windowDidExitFullScreen:(NSNotification*)notification {
|
||||||
|
[[NSApplication sharedApplication]
|
||||||
|
setPresentationOptions:NSApplicationPresentationDefault];
|
||||||
|
}
|
||||||
@end
|
@end
|
||||||
|
|
||||||
static uint
|
static uint
|
||||||
|
|
Loading…
Reference in a new issue