terminal.js:  Fixed the bug where terminals were not being auto-scrolled to the bottom of the view when switching workspaces.