Searched defs:search_result_color (Results 1 – 12 of 12) sorted by relevance
113 Color search_result_color = EDITOR_GET("text_editor/highlighting/search_result_color"); in _load_theme_settings() local
101 Color search_result_color = EDITOR_GET("text_editor/highlighting/search_result_color"); in _load_theme_settings() local
222 Color search_result_color = EDITOR_GET("text_editor/highlighting/search_result_color"); in _load_theme_settings() local
1195 const Color search_result_color = alpha1; in create_editor_theme() local
96 Color search_result_color; member
246 Color search_result_color; member