setTerminalTitle function
Implementation
void setTerminalTitle(String title) {
if (!_isSupported || !_isTerminalCapable()) {
return;
}
try {
if (_originalTitle == null) {
_captureOriginalTitle();
}
stdout.write('\x1b]2;$title\x07');
stdout.write('\x1b]0;$title\x07');
} catch (e) {
_isSupported = false;
}
}