Faster loading of pages, Improvements to filters

svn: r1340
2003-03-12 03:02:08 +00:00
parent 6ec5b41dd1
commit 177c14d082
14 changed files with 499 additions and 454 deletions
--- a/src/plugins/Desbrowser.py
+++ b/src/plugins/Desbrowser.py
@ -71,6 +71,10 @@ class DesBrowse:
            "destroy_passed_object" : Utils.destroy_passed_object,
            })
        top = self.glade.get_widget("top")
+
+        Utils.set_titles(top,self.glade.get_widget('title'),
+                         _("Descendant Browser"))
+        
        self.tree= self.glade.get_widget("tree1")
        col = gtk.TreeViewColumn('',gtk.CellRendererText(),text=0)
        self.tree.append_column(col)