Delete terminalwidget.h