Delete terminalwidget.ui