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