what is purpose of those lines WidgetTerminal terminal(V9); char termtxt[12]=" "; char prevcmd[12]=" ";