Searched refs:pr_ifont (Results 1 – 1 of 1) sorted by relevance
131 GtkWidget * pr_ifont; member2047 desktop->pr_ifont = gtk_font_button_new(); in _preferences_icons()2048 gtk_font_button_set_use_font(GTK_FONT_BUTTON(desktop->pr_ifont), TRUE); in _preferences_icons()2049 gtk_box_pack_start(GTK_BOX(hbox), desktop->pr_ifont, TRUE, TRUE, 0); in _preferences_icons()2353 q = gtk_font_button_get_font_name(GTK_FONT_BUTTON(desktop->pr_ifont)); in _on_preferences_response_apply()2478 desktop->pr_ifont), p); in _preferences_set()2483 desktop->pr_ifont), q); in _preferences_set()