diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-18 18:18:15 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-18 18:18:15 +0100 |
| commit | db81ef92b5e22051e54644018909f73dd0cf9d01 (patch) | |
| tree | a1a2f4851066c867f6b69b90cebabc04179fef1a | |
| parent | 15ba4d34c5040532b7926f6cfe670d081fee79b1 (diff) | |
| parent | 4e59d1c51fc504acf03e4287c13b4d4a6971207d (diff) | |
Merge pull request #4087 from demolitions/master
Fix for #4014
| -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 238b2d1cb8..7a8805a5a1 100644 --- a/tools/editor/editor_help.cpp +++ b/tools/editor/editor_help.cpp @@ -92,7 +92,7 @@ void EditorHelpSearch::_update_search() { DocData *doc=EditorHelp::get_doc_data(); String term = search_box->get_text(); - if (term.length()<3) + if (term.length()<2) return; TreeItem *root = search_options->create_item(); |