Searched defs:gui_gtk2_default_theme_name (Results 1 – 2 of 2) sorted by relevance
205 char gui_gtk2_default_theme_name[512]; member