diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-09 00:52:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-09 00:52:29 +0100 |
| commit | 877cd12da8572bf73263d4cce156336e032a31d2 (patch) | |
| tree | 87a0558c7328cffdab6dd8458e20b116afbe461d /modules/gdscript/language_server/gdscript_language_server.h | |
| parent | 377ce78d4e397c3c78aea5d7eb7080797540b880 (diff) | |
| parent | e2485044a1b33628e6149d4f930b6fe065743c9d (diff) | |
| download | redot-engine-877cd12da8572bf73263d4cce156336e032a31d2.tar.gz | |
Merge pull request #89284 from mihe/lsp-multiple-messages
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: |