diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-25 23:23:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-25 23:23:21 +0200 |
commit | 5c04228a9b1632f92a5fc970939bee3224ddac39 (patch) | |
tree | 3b97cefa8a77d97b93dbcc1a740aea45ecf02968 | |
parent | 46441d585ba8d945cf86a550f335307782a8a444 (diff) | |
parent | 6f32fc68e47bf2fe50a1098ba418c9169d527d2c (diff) |
Merge pull request #32824 from lupoDharkael/replace-next
Code editor: select next occurrence after Replace
-rw-r--r-- | editor/code_editor.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/editor/code_editor.cpp b/editor/code_editor.cpp index 4c31797c50..1a821ddd02 100644 --- a/editor/code_editor.cpp +++ b/editor/code_editor.cpp @@ -191,7 +191,9 @@ void FindReplaceBar::_replace() { results_count = -1; } - search_current(); + if (!search_current()) { + search_next(); + } } void FindReplaceBar::_replace_all() { |