Skip non-desktop files
authorEnrico Zini <enrico@enricozini.org>
Mon, 3 Aug 2009 22:21:39 +0000 (23:21 +0100)
committerEnrico Zini <enrico@enricozini.org>
Mon, 3 Aug 2009 22:21:39 +0000 (23:21 +0100)
src/app_wm.vala

index 2b5dc5aac0cca9d71ace6a311f1f1df7d890adde..a1cfbeb93e360ec548b9e89ed8fb3593652d730e 100644 (file)
@@ -175,6 +175,8 @@ public class Launcher: Applet
                var icon_theme = Gtk.IconTheme.get_default();
                while ((file_info = enumerator.next_file(null)) != null)
                {
                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);
 
                        string pathname = zavai.config.homedir + "/" + file_info.get_name();
                        //stdout.printf("Load %s\n", pathname);