mirror of
https://github.com/godotengine/godot.git
synced 2025-12-07 22:00:10 +00:00
Merge pull request #113433 from arkology/editor-help-single-focus
`EditorHelp`: Scroll to the only result found every time
This commit is contained in:
commit
bf10defa6d
1 changed files with 5 additions and 0 deletions
|
|
@ -4999,6 +4999,11 @@ bool FindBar::_search(bool p_search_previous) {
|
|||
results_count = 0;
|
||||
results_count_to_current = 0;
|
||||
}
|
||||
|
||||
if (results_count == 1) {
|
||||
rich_text_label->scroll_to_selection();
|
||||
}
|
||||
|
||||
_update_matches_label();
|
||||
|
||||
return ret;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue