terminal.js:  (Actually) fixed the bug where terminals were not being auto-scrolled to the bottom of the view when switching workspaces.  (It helps if you paste the right thing, apparently)