restore_term_settings   22 terminal.cpp   static void restore_term_settings();
restore_term_settings   33 terminal.cpp           restore_term_settings();