terminal.js:  A couple of tweaks to the new highlight() and unHighlight() methods to fix bugs with edge cases and make them more user friendly.