gateone.js:  Moved a few more terminal-specific prefs to terminal.js.