Window Manager: Separate default normal geometry and resolution
While the default resolution is the desktop resolution, the default normal (windowed) resolution is desktop size minus 100 pixels off from each side. This allows toggling the fullscreen mode for the first time without ending up with an inconvenient window size.
Window Manager: Separate default normal geometry and resolution
While the default resolution is the desktop resolution, the default normal
(windowed) resolution is desktop size minus 100 pixels off from each side.
This allows toggling the fullscreen mode for the first time without ending
up with an inconvenient window size.