comparison frontends/src/primitivus/primitivus @ 1966:d727aab9a80e

primitivus: basic handling of filter, only language can filtered for now
author Goffi <goffi@goffi.org>
date Mon, 20 Jun 2016 19:19:16 +0200
parents a2bc5089c2eb
children 5fbe09b9b568
comparison
equal deleted inserted replaced
1965:4c5d8cd35690 1966:d727aab9a80e
146 pattern = " ".join(args) 146 pattern = " ".join(args)
147 if not pattern: 147 if not pattern:
148 self.host.notif_bar.addMessage(D_("Please specify the globbing pattern to search for")) 148 self.host.notif_bar.addMessage(D_("Please specify the globbing pattern to search for"))
149 else: 149 else:
150 widget.updateHistory(size=C.HISTORY_LIMIT_NONE, search=pattern, profile=widget.profile) 150 widget.updateHistory(size=C.HISTORY_LIMIT_NONE, search=pattern, profile=widget.profile)
151 elif command == 'filter':
152 # FIXME: filter is now only for current widget,
153 # need to be able to set it globally or per widget
154 widget = self.host.selected_widget
155 # FIXME: Q&D way, need to be more generic
156 if isinstance(widget, quick_chat.QuickChat):
157 widget.setFilter(args)
151 else: 158 else:
152 return 159 return
153 self.set_edit_text('') 160 self.set_edit_text('')
154 161
155 def _historyCb(self, text): 162 def _historyCb(self, text):