prevent double listsings of apps in widget, thanks Marin

VERSION

@@ -1 +1 @@
-Version 2.00.0 (2012-08-06 23:01:45) dev
+Version 2.00.0 (2012-08-07 09:15:55) dev

gluon/widget.py

@@ -394,9 +394,11 @@ class web2pyDialog(object):
 
     def connect_pages(self):
         """ Connect pages """
-
+        #reset the menu
-        for arq in os.listdir('applications/'):
+        available_apps = [arq for arq in os.listdir('applications/')
-            if os.path.exists('applications/%s/__init__.py' % arq):
+                          if os.path.exists('applications/%s/__init__.py' % arq)]
+        self.pagesmenu.delete(0, len(available_apps))
+        for arq in available_apps:
             url = self.url + '/' + arq
             start_browser = lambda u = url: try_start_browser(u)
             self.pagesmenu.add_command(label=url,