From a72b722b3db2f20650435966f1db778e808d1236 Mon Sep 17 00:00:00 2001
From: Enrico Zini <enrico@enricozini.org>
Date: Mon, 3 Aug 2009 23:21:39 +0100
Subject: [PATCH] Skip non-desktop files

---
 src/app_wm.vala | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/app_wm.vala b/src/app_wm.vala
index 2b5dc5a..a1cfbeb 100644
--- a/src/app_wm.vala
+++ b/src/app_wm.vala
@@ -175,6 +175,8 @@ public class Launcher: Applet
 		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);
 
-- 
2.30.2