Fix the terminal_send(), filemenu shouldn't constantly redisplay menu.