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]