set_mouse_autohide
Description:
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 |