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/plugins/debugger_editor_plugin.cpp | |
| parent | e2307dc76ae7778d89487c9bd3485339839292a9 (diff) | |
| parent | 9f55bd971e9ffb8fb74d29d8d4653558fc70a4dd (diff) | |
Merge pull request #63737 from YuriSizov/editorresourceconversionpluginactomy
Diffstat (limited to 'editor/plugins/debugger_editor_plugin.cpp')
| -rw-r--r-- | editor/plugins/debugger_editor_plugin.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/debugger_editor_plugin.cpp b/editor/plugins/debugger_editor_plugin.cpp index 5c90d70982..c572b5b7fe 100644 --- a/editor/plugins/debugger_editor_plugin.cpp +++ b/editor/plugins/debugger_editor_plugin.cpp @@ -35,6 +35,7 @@ #include "editor/debugger/editor_debugger_server.h" #include "editor/editor_node.h" #include "editor/editor_scale.h" +#include "editor/editor_settings.h" #include "editor/fileserver/editor_file_server.h" #include "editor/plugins/script_editor_plugin.h" #include "scene/gui/menu_button.h" |