unmaximize_vertically


Description:

public void unmaximize_vertically ()

Asks the window manager to unmaximize vertically this.

Parameters:

this

a Window.