public enum HideType
If/How the dock should hide itself.
- NONE - The dock does not hide. It should set
struts to reserve space for it.
- INTELLIGENT - The dock hides if a window
in the active window group overlaps it.
- AUTO - The dock hides if the mouse is not over
- DODGE_MAXIMIZED - The dock hides if
there is an active maximized window.
- WINDOW_DODGE - The dock hides if there
is any window overlapping it.
- DODGE_ACTIVE - The dock hides if there
is the active window overlapping it.