set_mouse_autohide

Description:

public void set_mouse_autohide (bool setting)

Changes 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 read using get_mouse_autohide.

Parameters:

this	a Terminal
setting	whether the mouse pointer should autohide