From ec7b3cfb2de48e45d78d211c50af38a74c8c0c86 Mon Sep 17 00:00:00 2001 From: Olivier Goffart Date: Fri, 23 Aug 2024 11:11:53 +0200 Subject: [PATCH] vscode: rename the "Slint LSP" output name to just "Slint" --- editors/vscode/src/browser.ts | 2 +- editors/vscode/src/extension.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/editors/vscode/src/browser.ts b/editors/vscode/src/browser.ts index dae0f9660..bdbc42fc3 100644 --- a/editors/vscode/src/browser.ts +++ b/editors/vscode/src/browser.ts @@ -38,7 +38,7 @@ function startClient( if (m.data === "OK") { const cl = new LanguageClient( "slint-lsp", - "Slint LSP", + "Slint", clientOptions, worker, ); diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts index 7e51a10b0..21111b3de 100644 --- a/editors/vscode/src/extension.ts +++ b/editors/vscode/src/extension.ts @@ -169,7 +169,7 @@ function startClient( const cl = new LanguageClient( "slint-lsp", - "Slint LSP", + "Slint", serverOptions, common.languageClientOptions(), );