Plank.DockRenderer.get_hide_progress – plank Reference Manual
get_hide_progress
Description:
public
double
get_hide_progress
()
Returns the current progress of the hide-animation of the dock.
Returns:
the hide-animation progress [0.0..1.0]