Searched refs:option_editor_bg_marked (Results 1 – 5 of 5) sorted by relevance
36 extern int option_editor_bg_marked;102 option_editor_bg_marked = option_text_bg_marked; in load_trivial_options()
279 {"option_editor_bg_marked", &option_editor_bg_marked, 0},
904 int option_editor_bg_marked = 2; variable953 extern int option_editor_bg_marked;
828 color_palette (option_editor_bg_marked), in edit_render()
497 color_palette (option_editor_bg_marked), in gtk_edit_set_colors()