Jeremy Soller 02cee1d805 fix: maximize instead of fullscreen ... This fixes interactions with the window manager including dodging exclusive zones, correctly sharpening corners when the window manager sets the maximized mode, and correctly toggling the maximized state when either F11 or the maximize button are clicked.		2024-02-12 17:53:59 +01:00
..
mod.rs	fix: maximize instead of fullscreen	2024-02-12 17:53:59 +01:00