Add optional languageId to window.createOutputChannel API (#19561)

This commit is contained in:
gjsjohnmurray
2022-01-17 21:29:04 +00:00
parent 4135ba294b
commit 1ecb5f53a7
10 changed files with 47 additions and 19 deletions

View File

@@ -467,7 +467,7 @@ export interface MainThreadMessageServiceShape extends IDisposable {
}
export interface MainThreadOutputServiceShape extends IDisposable {
$register(label: string, log: boolean, file: UriComponents, extensionId: string): Promise<string>;
$register(label: string, log: boolean, file: UriComponents, languageId: string, extensionId: string): Promise<string>;
$update(channelId: string, mode: OutputChannelUpdateMode.Append): Promise<void>;
$update(channelId: string, mode: OutputChannelUpdateMode, till: number): Promise<void>;
$reveal(channelId: string, preserveFocus: boolean): Promise<void>;