diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:18:17 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-16 16:18:17 -0300 |
commit | 70c2c7a3f90e501fa99c23feb2cc294df123adce (patch) | |
tree | 814eae01b4f53fd5f835f4517c7890725e00ab90 /tools/editor | |
parent | 2882ff1b7e5008e87d753acc0da61f2e82fb7940 (diff) | |
parent | 96a86fdf750fb4ae536158d559dc9cf2a7e8e727 (diff) |
Merge pull request #1900 from guilhermefelipecgs/fix_#1898
Fix find option in Help tab. #1898
Diffstat (limited to 'tools/editor')
-rw-r--r-- | tools/editor/editor_help.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/editor_help.cpp b/tools/editor/editor_help.cpp index a5b6fbd4ff..25fc526bf9 100644 --- a/tools/editor/editor_help.cpp +++ b/tools/editor/editor_help.cpp @@ -353,7 +353,7 @@ void EditorHelp::_search(const String&) { String stext=search->get_text(); bool keep = prev_search==stext && class_list->get_selected() && prev_search_page==class_list->get_selected()->get_text(0); - class_desc->search(stext); + class_desc->search(stext, keep); prev_search=stext; if (class_list->get_selected()) |