var icon_theme = Gtk.IconTheme.get_default();
while ((file_info = enumerator.next_file(null)) != null)
{
+ if (!file_info.get_name().has_suffix(".desktop")) continue;
+
string pathname = zavai.config.homedir + "/" + file_info.get_name();
//stdout.printf("Load %s\n", pathname);