mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-26 03:29:00 +01:00
Merge branch 'microsoft:main' into main
This commit is contained in:
@@ -34,6 +34,6 @@ export class Cache<T> {
|
||||
if (!Cache.enableDebugLogging) {
|
||||
return;
|
||||
}
|
||||
console.log(`${this.id} cache size — ${this._data.size}`);
|
||||
console.log(`${this.id} cache size - ${this._data.size}`);
|
||||
}
|
||||
}
|
||||
|
||||
@@ -672,10 +672,14 @@ export abstract class BaseExtHostTerminalService extends Disposable implements I
|
||||
|
||||
public async $createContributedProfileTerminal(id: string, options: ICreateContributedTerminalProfileOptions): Promise<void> {
|
||||
const token = new CancellationTokenSource().token;
|
||||
const profile = await this._profileProviders.get(id)?.provideTerminalProfile(token);
|
||||
let profile = await this._profileProviders.get(id)?.provideTerminalProfile(token);
|
||||
if (token.isCancellationRequested) {
|
||||
return;
|
||||
}
|
||||
if (profile && !('options' in profile)) {
|
||||
profile = { options: profile };
|
||||
}
|
||||
|
||||
if (!profile || !('options' in profile)) {
|
||||
throw new Error(`No terminal profile options provided for id "${id}"`);
|
||||
}
|
||||
|
||||
@@ -17,7 +17,7 @@ import * as extHostProtocol from './extHost.protocol';
|
||||
import * as extHostTypes from './extHostTypes';
|
||||
|
||||
|
||||
type IconPath = URI | { light: URI, dark: URI };
|
||||
type IconPath = URI | { readonly light: URI, readonly dark: URI };
|
||||
|
||||
class ExtHostWebviewPanel extends Disposable implements vscode.WebviewPanel {
|
||||
|
||||
|
||||
Reference in New Issue
Block a user