terminal.js and terminal_input.js:  FINALLY!  Fixed that STUPID BUG where the first time you click on a terminal it stops accepting keyboard input until you click on it one more time (and then the problem is fixed forever)!