mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-11-21 03:18:37 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #13390 from poke1024/opteditorhelp

Browse Source 
Make editor help select shortest (best) instead of first match
This commit is contained in:
Rémi Verschelde 2017-11-29 08:58:56 +01:00 committed by GitHub
commit 6110235bd4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
editor/editor_help.cpp
View File

@ -433,12 +433,11 @@ void EditorHelpIndex::_update_class_list() {
while (type != "") {
if (filter.is_subsequence_ofi(type)) {
if (to_select.empty()) {
if (to_select.empty() || type.length() < to_select.length()) {
to_select = type;
}
found = true;
break;
}
type = EditorHelp::get_doc_data()->class_list[type].inherits;