[gnome-builder] jedi: set initializationOptions



commit 61c354a61da566435d0513e1235efd946d3e34fc
Author: Christian Hergert <chergert redhat com>
Date:   Tue Dec 21 15:50:28 2021 -0800

    jedi: set initializationOptions

 src/plugins/jedi-language-server/jedi_language_server_plugin.py | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/plugins/jedi-language-server/jedi_language_server_plugin.py 
b/src/plugins/jedi-language-server/jedi_language_server_plugin.py
index e1f76a2e9..69671b329 100644
--- a/src/plugins/jedi-language-server/jedi_language_server_plugin.py
+++ b/src/plugins/jedi-language-server/jedi_language_server_plugin.py
@@ -36,6 +36,9 @@ class JediService(Ide.LspService):
     def do_configure_client(self, client):
         client.add_language('python')
         client.add_language('python3')
+        client.set_initialization_options(GLib.Variant('a{sv}', {
+            'autoImportModules': GLib.Variant('as', ['gi']),
+        }))
 
 class JediDiagnosticProvider(Ide.LspDiagnosticProvider, Ide.DiagnosticProvider):
     def do_load(self):


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]