Merge branch 'goldendict:master' into staged

This commit is contained in:
xiaoyifang 2022-06-21 07:52:25 +08:00 committed by GitHub
commit 7bcdfac334
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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