Make output chanel name more human-friendly
According to the documentation, the channel name is: "Human-readable string which will be used to represent the channel in the UI". So it shouldn't break anything. Signed-off-by: Peter Neupauer <peter@neupauer.sk>master
parent
9a3b3d6132
commit
1a523824c7
|
@ -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
|
||||||
|
|
Loading…
Reference in New Issue