get_edge_adjustment

Description:

public unowned Adjustment get_edge_adjustment (PositionType position)

Parameters:

this

An DockOverlay.
position

the edge position.

Returns:

The corresponding Adjustment.