get_edge_adjustment


Description:

public unowned Adjustment get_edge_adjustment (PositionType position)

Parameters:

this

An DockOverlay.

position

the edge position.

Returns:

The corresponding Adjustment.




2022 vala-language.org