-
Xaver Hugl authored
Also call requestHideAutoHidingPanel for panels set to "windows can cover", so that the screen edge gets recreated for it
5b010aa1
Also call requestHideAutoHidingPanel for panels set to "windows can cover", so that the screen edge gets recreated for it