Restart search when case sensitivity changes

One issue with the current implementation is that a wrong-cased match
remains selected when the user checks the Case Sensitive checkbox.
Another issue is that the noResults property of searchText is not
updated right away, which means that searchText's background color
remains wrong until next search.

Handle toggling case sensitivity in the same way as editing the searched
text: restart search from the beginning of the page. This improves the
Search-in-page UI consistency.
This commit is contained in:
Igor Kushnir 2022-06-16 21:13:56 +03:00 committed by Abs62
parent 9b5756d5e1
commit 39abe4f1a6

View file

@ -2285,7 +2285,7 @@ void ArticleView::on_searchCloseButton_clicked()
void ArticleView::on_searchCaseSensitive_clicked() void ArticleView::on_searchCaseSensitive_clicked()
{ {
performFindOperation( false, false, true ); performFindOperation( true, false );
} }
void ArticleView::on_highlightAllButton_clicked() void ArticleView::on_highlightAllButton_clicked()