requestTerminalFocus method

void requestTerminalFocus()

Returns keyboard focus to this terminal (e.g. after a context menu closes).

Implementation

void requestTerminalFocus() {
  if (!_focus.hasFocus) {
    _focus.requestFocus();
  }
}