Merge pull request #262 from neupauer/patch-1

Make output chanel name more human-friendly
master
Brad Cornes 2021-02-12 11:37:25 +00:00 committed by GitHub
commit 6868884346
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -79,7 +79,7 @@ function getUserLanguages(folder?: WorkspaceFolder): Record<string, string> {
export function activate(context: ExtensionContext) { export function activate(context: ExtensionContext) {
let module = context.asAbsolutePath(path.join('dist', 'server', 'index.js')) let module = context.asAbsolutePath(path.join('dist', 'server', 'index.js'))
let outputChannel: OutputChannel = Window.createOutputChannel(CLIENT_ID) let outputChannel: OutputChannel = Window.createOutputChannel(CLIENT_NAME)
// TODO: check if the actual language MAPPING changed // TODO: check if the actual language MAPPING changed
// not just the language IDs // not just the language IDs