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 /modules/gdscript/language_server/gdscript_workspace.cpp | |
| parent | e2307dc76ae7778d89487c9bd3485339839292a9 (diff) | |
| parent | 9f55bd971e9ffb8fb74d29d8d4653558fc70a4dd (diff) | |
| download | redot-engine-8ad80f054775e14541c2981b1a8985f8a7a4512e.tar.gz | |
Merge pull request #63737 from YuriSizov/editorresourceconversionpluginactomy
Diffstat (limited to 'modules/gdscript/language_server/gdscript_workspace.cpp')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_workspace.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/gdscript/language_server/gdscript_workspace.cpp b/modules/gdscript/language_server/gdscript_workspace.cpp index 959651c024..ded2a7b4d4 100644 --- a/modules/gdscript/language_server/gdscript_workspace.cpp +++ b/modules/gdscript/language_server/gdscript_workspace.cpp @@ -38,6 +38,7 @@ #include "editor/editor_file_system.h" #include "editor/editor_help.h" #include "editor/editor_node.h" +#include "editor/editor_settings.h" #include "gdscript_language_protocol.h" #include "scene/resources/packed_scene.h" |