diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-31 23:52:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-31 23:52:38 +0200 |
| commit | 8ad80f054775e14541c2981b1a8985f8a7a4512e (patch) | |
| tree | 1683dea14ccf840087de8ec4a6a27cd4d8abcb9e /editor/editor_help_search.cpp | |
| parent | e2307dc76ae7778d89487c9bd3485339839292a9 (diff) | |
| parent | 9f55bd971e9ffb8fb74d29d8d4653558fc70a4dd (diff) | |
Merge pull request #63737 from YuriSizov/editorresourceconversionpluginactomy
Diffstat (limited to 'editor/editor_help_search.cpp')
| -rw-r--r-- | editor/editor_help_search.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/editor_help_search.cpp b/editor/editor_help_search.cpp index 424195e4dd..297d1226e3 100644 --- a/editor/editor_help_search.cpp +++ b/editor/editor_help_search.cpp @@ -34,6 +34,7 @@ #include "editor/editor_feature_profile.h" #include "editor/editor_node.h" #include "editor/editor_scale.h" +#include "editor/editor_settings.h" void EditorHelpSearch::_update_icons() { search_box->set_right_icon(results_tree->get_theme_icon(SNAME("Search"), SNAME("EditorIcons"))); |