update terminalwidget.py