Searched refs:header_bg_color_picker (Results 1 – 2 of 2) sorted by relevance
708 GtkWidget *header_bg_color_picker; member
436 appGUI->opt->header_bg_color_picker = color_button; in create_appearance_section()