/* Set command. Change the setting for case sensitivity. */ static void set_case_command (char *ignore, int from_tty) { if (DEPRECATED_STREQ (case_sensitive, "on")) { case_sensitivity = case_sensitive_on; case_mode = case_mode_manual; } else if (DEPRECATED_STREQ (case_sensitive, "off")) { case_sensitivity = case_sensitive_off; case_mode = case_mode_manual; } else if (DEPRECATED_STREQ (case_sensitive, "auto")) { case_mode = case_mode_auto; set_type_range_case (); /* Avoid hitting the set_case_str call below. We did it in set_type_range_case. */ return; } else { warning ("Unrecognized case-sensitive setting: \"%s\"", case_sensitive); } set_case_str(); show_case_command ((char *) NULL, from_tty); }
void language_info (int quietly) { if (quietly && expected_language == current_language) return; expected_language = current_language; printf_unfiltered (_("Current language: %s\n"), language); show_language_command (NULL, 1, NULL, NULL); if (!quietly) { printf_unfiltered (_("Range checking: %s\n"), range); show_range_command (NULL, 1, NULL, NULL); printf_unfiltered (_("Case sensitivity: %s\n"), case_sensitive); show_case_command (NULL, 1, NULL, NULL); } }
void language_info (int quietly) { if (quietly && expected_language == current_language) return; expected_language = current_language; printf_unfiltered ("Current language: %s\n", language); show_language_command ((char *) 0, 1); if (!quietly) { printf_unfiltered ("Type checking: %s\n", type); show_type_command ((char *) 0, 1); printf_unfiltered ("Range checking: %s\n", range); show_range_command ((char *) 0, 1); printf_unfiltered ("Case sensitivity: %s\n", case_sensitive); show_case_command ((char *) 0, 1); } }