diff options
| author | Mikael Hermansson <mikael@hermansson.io> | 2024-03-08 15:24:51 +0100 |
|---|---|---|
| committer | Mikael Hermansson <mikael@hermansson.io> | 2024-03-08 18:49:29 +0100 |
| commit | e2485044a1b33628e6149d4f930b6fe065743c9d (patch) | |
| tree | 0125c7425e98ab5d8c0fc7be2e9b510cd15e425e /modules/gdscript/language_server/gdscript_language_server.h | |
| parent | aef11a14274f6f9e74ad91ead1d7c07ea1dd7f5f (diff) | |
| download | redot-engine-e2485044a1b33628e6149d4f930b6fe065743c9d.tar.gz | |
Allow LSP to process multiple messages per poll
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_server.h')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_language_server.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_server.h b/modules/gdscript/language_server/gdscript_language_server.h index e845d139bf..2ace5ca446 100644 --- a/modules/gdscript/language_server/gdscript_language_server.h +++ b/modules/gdscript/language_server/gdscript_language_server.h @@ -47,6 +47,7 @@ class GDScriptLanguageServer : public EditorPlugin { bool use_thread = false; String host = "127.0.0.1"; int port = 6005; + int poll_limit_usec = 100000; static void thread_main(void *p_userdata); private: |