Clear old search results on webkit

Fixes an issue with #3626
This commit is contained in:
Jay Kamat 2018-03-01 16:15:38 -05:00
parent 257011a6d2
commit a2b5bf0b73
No known key found for this signature in database
GPG Key ID: 5D2E399600F4F7B5

View File

@ -153,6 +153,9 @@ class WebKitSearch(browsertab.AbstractSearch):
" for {}".format(text))
return
# Clear old search results, this is done automatically on other backends
self.clear()
self.text = text
self.search_displayed = True
self._flags = QWebPage.FindWrapsAroundDocument