Introduce workspaces with a shared filter/gramplet sidebar

svn: r16160
2010-11-08 15:50:51 +00:00
parent 69d9528be0
commit 56e7869137
26 changed files with 590 additions and 273 deletions
--- a/src/DisplayState.py
+++ b/src/DisplayState.py
@@ -516,7 +516,7 @@ class DisplayState(gen.utils.Callback):
    def show_filter_results(self, dbstate, matched, total):
        #nav_type = self.viewmanager.active_page.navigation_type()
        #text = ((_("%(nav_type)s View") % {"nav_type": _(nav_type)}) + 
-        text = (self.viewmanager.active_page.title +
+        text = (self.viewmanager.active_page.get_title() +
                (": %d/%d" % (matched, total)))
        self.status.pop(1, self.last_bar)
        self.status.push(1, text, self.last_bar)