Searched refs:RFM_DEFAULT_ICON_SIZE (Results 1 – 3 of 3) sorted by relevance
47 RFM_DEFAULT_ICON_SIZE, /* size selector */ enumerator
454 if(i == RFM_DEFAULT_ICON_SIZE) { in environment_changed()795 update_combo (GTK_COMBO_BOX(settings_p->iconsize_box), RFM_DEFAULT_ICON_SIZE, TRUE); in set_option_buttons()900 update_tree (GTK_TREE_MODEL(settings_p->model), RFM_DEFAULT_ICON_SIZE); in set_option_buttons()1109 gint_changed (combo_box, RFM_DEFAULT_ICON_SIZE); in iconsize_changed()1978 if (id == RFM_DEFAULT_ICON_SIZE) { in make_gint_combo_box()2721 make_gint_combo_box (vbox, RFM_DEFAULT_ICON_SIZE, rfm_get_icon_sizes(), (void *)iconsize_changed); in context_run_rfm_settings_dialog()