You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-10 13:00:37 +00:00
Merge pull request #57281 from Rubonnek/rename-subsequence
This commit is contained in:
@@ -2857,7 +2857,7 @@ void CodeEdit::_filter_code_completion_candidates_impl() {
|
||||
completion_options_casei.push_back(option);
|
||||
} else if (s.is_subsequence_of(option.display)) {
|
||||
completion_options_subseq.push_back(option);
|
||||
} else if (s.is_subsequence_ofi(option.display)) {
|
||||
} else if (s.is_subsequence_ofn(option.display)) {
|
||||
completion_options_subseq_casei.push_back(option);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user