Merge pull request #32824 from lupoDharkael/replace-next

Code editor: select next occurrence after Replace
This commit is contained in:
Rémi Verschelde 2019-10-25 23:23:21 +02:00 committed by GitHub
commit 5c04228a9b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -191,7 +191,9 @@ void FindReplaceBar::_replace() {
results_count = -1;
}
search_current();
if (!search_current()) {
search_next();
}
}
void FindReplaceBar::_replace_all() {