[gnome-builder] jedi: set initializationOptions
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] jedi: set initializationOptions
- Date: Wed, 22 Dec 2021 00:04:01 +0000 (UTC)
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]