Searched refs:pr_ifcolor (Results 1 – 1 of 1) sorted by relevance
130 GtkWidget * pr_ifcolor; member2030 desktop->pr_ifcolor = gtk_color_button_new(); in _preferences_icons()2031 gtk_box_pack_start(GTK_BOX(hbox), desktop->pr_ifcolor, TRUE, TRUE, 0); in _preferences_icons()2339 gtk_color_chooser_get_rgba(GTK_COLOR_CHOOSER(desktop->pr_ifcolor), in _on_preferences_response_apply()2343 gtk_color_button_get_rgba(GTK_COLOR_BUTTON(desktop->pr_ifcolor), in _on_preferences_response_apply()2347 gtk_color_button_get_color(GTK_COLOR_BUTTON(desktop->pr_ifcolor), in _on_preferences_response_apply()2475 desktop->pr_ifcolor); in _preferences_set()