From cbc548ed00a0d2fcceeeaa3646bdca642f309d10 Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Thu, 22 Aug 2024 17:28:09 +0200 Subject: [PATCH] nit lsp --- frontend/src/lib/components/Editor.svelte | 2 +- lsp/pyls_launcher.py | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index 733cb6dbcc..0244c302e3 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -803,7 +803,7 @@ connectToLanguageServer( `${wsProtocol}://${window.location.host}/ws/ruff`, 'ruff', - {}, + { 'ruff.lint.select': ['E', 'F'], extendSelect: ['I'], 'ruff.logLevel': 'debug' }, undefined ) } else if (lang === 'go') { diff --git a/lsp/pyls_launcher.py b/lsp/pyls_launcher.py index 2978b58444..af6a22e810 100644 --- a/lsp/pyls_launcher.py +++ b/lsp/pyls_launcher.py @@ -81,7 +81,7 @@ class DiagnosticLS(LanguageServerWebSocketHandler): class RuffLS(LanguageServerWebSocketHandler): - procargs = ["ruff"] + procargs = ["ruff", "server", "--preview"] class DenoLS(LanguageServerWebSocketHandler): @@ -105,7 +105,7 @@ if __name__ == "__main__": go_mod_path = os.path.join(monaco_path, "go.mod") if not os.path.exists(go_mod_path): f = open(go_mod_path, "w") - f.write("module mymod\ngo 1.19") + f.write("module mymod\ngo 1.22") f.close() port = int(os.environ.get("PORT", "3001")) app = web.Application(