app_terminal.py:  Fixed a bug where you'd get an exception if a user's term_settings.json file could not be decoded (for whatever reason).