terminal.js:  Fixed a bug where terminal preferences were not being saved properly.
terminal.js:  Fixed a bug where terminal scaling--when you set a specific number of rows/columns--was not working properly.
terminal.js:  Modified how reattachTerminalsAction() works slightly in order to fix some bugs related to terminal scaling when the user has configured a specific number of rows/columns.
terminal_input.js:  Fixed the bug where Gate One would be marked as "inactive" when reloading the page.