Plank.HideManager.HideManager – plank Reference Manual
HideManager
Description:
public
HideManager
(
DockController
controller)
Creates a new instance of a HideManager, which handles checking if a dock should hide or not.
Parameters:
controller
the
DockController
to manage hiding for