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_language_protocol.cpp | |
parent | e2307dc76ae7778d89487c9bd3485339839292a9 (diff) | |
parent | 9f55bd971e9ffb8fb74d29d8d4653558fc70a4dd (diff) |
Merge pull request #63737 from YuriSizov/editorresourceconversionpluginactomy
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.cpp')
-rw-r--r-- | modules/gdscript/language_server/gdscript_language_protocol.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_protocol.cpp b/modules/gdscript/language_server/gdscript_language_protocol.cpp index 7460f8edff..c0d5856be5 100644 --- a/modules/gdscript/language_server/gdscript_language_protocol.cpp +++ b/modules/gdscript/language_server/gdscript_language_protocol.cpp @@ -34,6 +34,7 @@ #include "editor/doc_tools.h" #include "editor/editor_log.h" #include "editor/editor_node.h" +#include "editor/editor_settings.h" GDScriptLanguageProtocol *GDScriptLanguageProtocol::singleton = nullptr; |