gnome_theme_details_reread_themes_from_disk