set_bottom_height


Description:

public void set_bottom_height (int height)

Set the height of the bottom area.

Parameters:

this

a Dock

height

the height