keyboard_size

Description:

public void keyboard_size ()

Asks the window manager to start resizing this via the keyboard.

Parameters:

this

a Window.