--- gimmie/gimmie/gimmie_applications.py 2007-10-10 16:58:10.000000000 -0700 +++ gimmie/gimmie/gimmie_applications.py.new 2007-12-08 12:00:55.000000000 -0800 @@ -219,7 +219,13 @@ # NOTE: Re-enabled for 0.3. See Gimmie bug #419271, and # gnome-menus bug #442747. - self.tree.add_monitor(lambda *args: self.emit("reload")) + self.reload_timeout_id = 0 + self.tree.add_monitor(self._queue_reload) + + def _queue_reload(self, *args): + if self.reload_timeout_id != 0: + gobject.source_remove(self.reload_timeout_id) + self.reload_timeout_id = gobject.timeout_add(3 * 1000, lambda: self.emit("reload")) def get_toplevel_sources(self): sources = []