diff frontends/src/primitivus/primitivus @ 2013:b536dd121da1

backend (memory), frontends: improved history filtering: a "filters" dictionnary is now use to filter, it can have, for now, filtering on: - "body": filter only on the body (equivalent to former "search" parameter, but not case sensitive) - "search": fitler on body + source resource - "types": allowed types - "not_types": forbidden types primitivus now do searching using "search", i.e. source resource is now taken into account (and search is now case insensitive)
author Goffi <goffi@goffi.org>
date Mon, 18 Jul 2016 00:52:02 +0200
parents 53587e738aca
children f09562b0704d
line wrap: on
line diff
--- a/frontends/src/primitivus/primitivus	Sun Jul 17 19:44:15 2016 +0200
+++ b/frontends/src/primitivus/primitivus	Mon Jul 18 00:52:02 2016 +0200
@@ -130,7 +130,7 @@
                 if not pattern:
                     self.host.notif_bar.addMessage(D_("Please specify the globbing pattern to search for"))
                 else:
-                    widget.updateHistory(size=C.HISTORY_LIMIT_NONE, search=pattern, profile=widget.profile)
+                    widget.updateHistory(size=C.HISTORY_LIMIT_NONE, filters={'search': pattern}, profile=widget.profile)
         elif command == 'filter':
             # FIXME: filter is now only for current widget,
             #        need to be able to set it globally or per widget