From a692f19e007c10fb1740e79bd38fcf7b1f6de04e Mon Sep 17 00:00:00 2001 From: Anders Eknert Date: Tue, 9 Apr 2024 20:19:48 +0200 Subject: [PATCH] Use "Regal" instead of "regal-ls" Since all other output channels seem named like their project. Signed-off-by: Anders Eknert --- src/ls/clients/regal.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ls/clients/regal.ts b/src/ls/clients/regal.ts index 0a759f1..0d3e4bb 100644 --- a/src/ls/clients/regal.ts +++ b/src/ls/clients/regal.ts @@ -136,7 +136,7 @@ export function activateRegal(_context: ExtensionContext) { args: ["language-server"], }; - const outChan = window.createOutputChannel("regal-ls"); + const outChan = window.createOutputChannel("Regal"); const clientOptions: LanguageClientOptions = { documentSelector: [{ scheme: 'file', language: 'rego' }],