diff options
| author | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2015-05-13 23:27:13 -0300 |
|---|---|---|
| committer | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2015-05-13 23:27:13 -0300 |
| commit | 96a86fdf750fb4ae536158d559dc9cf2a7e8e727 (patch) | |
| tree | 93d125746bd768dd99e3aa0043f4f226c7f8a3c6 | |
| parent | 40c0e1993aa28f580b9bf597abc8902b5d5c1e93 (diff) | |
Fix #1898
| -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()) |