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