Also re-highlight text when restarting search.

This commit is contained in:
Florian Bruhin 2015-09-18 06:58:05 +02:00
parent 72cddb290b
commit f62bf099a0

View File

@ -1330,6 +1330,8 @@ class CommandDispatcher:
if main_window.search_text is not None: if main_window.search_text is not None:
view.search_text = main_window.search_text view.search_text = main_window.search_text
view.search_flags = main_window.search_flags view.search_flags = main_window.search_flags
view.search(view.search_text,
view.search_flags | QWebPage.HighlightAllOccurrences)
for _ in range(count): for _ in range(count):
view.search(view.search_text, view.search_flags) view.search(view.search_text, view.search_flags)
@ -1349,6 +1351,8 @@ class CommandDispatcher:
if main_window.search_text is not None: if main_window.search_text is not None:
view.search_text = main_window.search_text view.search_text = main_window.search_text
view.search_flags = main_window.search_flags view.search_flags = main_window.search_flags
view.search(view.search_text,
view.search_flags | QWebPage.HighlightAllOccurrences)
# The int() here serves as a QFlags constructor to create a copy of the # The int() here serves as a QFlags constructor to create a copy of the
# QFlags instance rather as a reference. I don't know why it works this # QFlags instance rather as a reference. I don't know why it works this
# way, but it does. # way, but it does.