Fix up merge issues

This commit is contained in:
Jackson Kearl 2021-05-12 21:51:47 -07:00
parent ea39e2b66a
commit 659175fa39
No known key found for this signature in database
GPG key ID: DA09A59C409FC400
3 changed files with 3 additions and 3 deletions

View file

@ -162,7 +162,7 @@ export class BannerPart extends Part implements IBannerService {
const actionContainer = append(this.element, $('div.message-actions-container'));
for (const action of item.actions) {
const actionLink = this._register(this.instantiationService.createInstance(Link, action));
const actionLink = this._register(this.instantiationService.createInstance(Link, action, {}));
this._register(attachLinkStyler(actionLink, this.themeService, { textLinkForeground: BANNER_FOREGROUND }));
actionContainer.appendChild(actionLink.el);
}

View file

@ -209,7 +209,7 @@ export function isProgressMessage(p: ISearchProgressItem | ISerializedSearchProg
export interface ITextSearchCompleteMessage {
text: string;
type: TextSearchCompleteMessageType;
trusted: boolean;
trusted?: boolean;
}
export interface ISearchCompleteStats {

View file

@ -235,7 +235,7 @@ export interface TextSearchCompleteMessage {
/**
* Whether the source of the message is trusted, command links are disabled for untrusted message sources.
*/
trusted: boolean,
trusted?: boolean,
/**
* The message type, this affects how the message will be rendered.
*/