set_top_height


Description:

public void set_top_height (int height)

Set the height of the top area.

Parameters:

this

a Dock

height

the height