terminal.js:  The most minor of tweaks to GateOne.Terminal.onResizeEvent() to work around an issue where alignTerminal() would not work properly in certain situations.