get_mouse_autohide

Description:

public bool get_mouse_autohide ()

Determines the value of the terminal's mouse autohide setting.

When autohiding is enabled, the mouse cursor will be hidden when the user presses a key and shown when the user moves the mouse. This setting can be changed using set_mouse_autohide.

Parameters:

this	a Terminal

Returns:

true if autohiding is enabled, false if not