raise docks when there isnt any active window
--there are cases that the window manager doesnt
return any active window at all. In such cases
we can assume that our docks/panels dont have to
be hidden.
BUG: 398052
FIXED-IN: 0.8.1
Description
Description
Details
Details
- Committed
mvourlakos Aug 31 2018, 12:29 PM - Parents
- R878:156accc34f44: Fix build on FreeBSD by including <array>.
- Branches
- Unknown
- Tags