Searched refs:DIGIT_GROUPING_STANDARD (Results 1 – 5 of 5) sorted by relevance
381 DIGIT_GROUPING_STANDARD, enumerator
352 search_po.digit_grouping = DIGIT_GROUPING_STANDARD; in load_preferences_search()
2563 case DIGIT_GROUPING_STANDARD: { in get_preferences_dialog()
7499 …if(base == BASE_DECIMAL && (po.digit_grouping == DIGIT_GROUPING_STANDARD || (po.digit_grouping == … in draw_structure()11875 …qualsIgnoreCase(svalue, "standard") || equalsIgnoreCase(svalue, "on")) v = DIGIT_GROUPING_STANDARD; in set_option()11885 …else if(v == DIGIT_GROUPING_STANDARD) gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(gtk_builder_g… in set_option()18804 printops.digit_grouping = DIGIT_GROUPING_STANDARD; in load_preferences()21701 printops.digit_grouping = DIGIT_GROUPING_STANDARD; in on_preferences_radiobutton_digit_grouping_standard_toggled()
854 … _("standard")) || EQUALS_IGNORECASE_AND_LOCAL(svalue, "on", _("on"))) v = DIGIT_GROUPING_STANDARD; in set_option()3454 case DIGIT_GROUPING_STANDARD: {str += _("standard"); break;} in main()