[prefs] terminal settings