maybe we should do this when reloading the main window:
* if fullscreen: leave fullscreen, restore minimal size (un-maximize)
* if maximized: restore minimal size (un-maximize), store maximize state
(* not fullscreen, not maximized: store window size (as it does now))
X reload skin
(should be at normal size now)
* enter fullscreen mode or restore maximize state
another observation (ubuntu studio, X11):
window with custom size > maximize = maximized window
window maximized > F11 = fullscreen
fullscreen > F11 = window with custom size
window with custom size > reload skin = window at minimal size (set by skin)
some hopefully helpful input before I work on it myself: /stackoverflow. com/questions/ 38182367/ how-to- toggle- a-window- from-fullscreen -to-normal- mode-programmat ically# 38182513
https:/
maybe we should do this when reloading the main window:
* if fullscreen: leave fullscreen, restore minimal size (un-maximize)
* if maximized: restore minimal size (un-maximize), store maximize state
(* not fullscreen, not maximized: store window size (as it does now))
X reload skin
(should be at normal size now)
* enter fullscreen mode or restore maximize state