restoreTerminalTitle function

void restoreTerminalTitle()

Implementation

void restoreTerminalTitle() {
  if (!_isSupported || _originalTitle == null || !_isTerminalCapable()) {
    return;
  }

  try {
    stdout.write('\x1b]2;$_originalTitle\x07');
    stdout.write('\x1b]0;$_originalTitle\x07');
  } catch (e) {
    _isSupported = false;
  }
}