set_input_enabled


Description:

public void set_input_enabled (bool enabled)

Enables or disables user input.

When user input is disabled, the terminal's child will not receive any key press, or mouse button press or motion events sent to it.

Parameters:

this

a Terminal

enabled

whether to enable user input