Merge pull request #106432 from arkology/editor-help-search-index

Fix EditorHelp's `FindBar` search index
This commit is contained in:
Thaddeus Crews 2025-05-20 11:37:20 -05:00
commit d82d9c30fd
No known key found for this signature in database
GPG key ID: 8C6E5FEB5FC03CCC

View file

@ -4813,6 +4813,8 @@ void FindBar::popup_search() {
search_text->select_all(); search_text->select_all();
search_text->set_caret_column(search_text->get_text().length()); search_text->set_caret_column(search_text->get_text().length());
if (grabbed_focus) { if (grabbed_focus) {
rich_text_label->deselect();
results_count_to_current = 0;
_search(); _search();
} }
} }