Merge branch 'flexible-hint-filtering' of https://github.com/jcpetkovich/qutebrowser into jcpetkovich-flexible-hint-filtering

This commit is contained in:
Florian Bruhin 2015-10-26 06:59:56 +01:00
commit 68024ba6bd

View File

@ -864,7 +864,7 @@ class HintManager(QObject):
for elems in self._context.elems.values():
try:
if (filterstr is None or
str(elems.elem).lower().startswith(filterstr)):
filterstr.casefold() in str(elems.elem).casefold()):
if self._is_hidden(elems.label):
# hidden element which matches again -> show it
self._show_elem(elems.label)