better height for breadcrumbs picker, #57437

This commit is contained in:
Johannes Rieken
2018-09-07 14:57:50 +02:00
parent 1c92139469
commit 833e5f8611
3 changed files with 31 additions and 10 deletions

View File

@@ -647,6 +647,9 @@ export class HighlightingWorkbenchTree extends WorkbenchTree {
protected readonly highlighter: IHighlighter;
protected readonly highlights: Map<any, FuzzyScore>;
private readonly _onDidStartFilter: Emitter<this>;
readonly onDidStartFiltering: Event<this>;
constructor(
parent: HTMLElement,
treeConfiguration: IHighlightingTreeConfiguration,
@@ -706,6 +709,10 @@ export class HighlightingWorkbenchTree extends WorkbenchTree {
break;
}
}));
this._onDidStartFilter = new Emitter<this>();
this.onDidStartFiltering = this._onDidStartFilter.event;
this.disposables.push(this._onDidStartFilter);
}
setInput(element: any): TPromise<any> {
@@ -729,6 +736,7 @@ export class HighlightingWorkbenchTree extends WorkbenchTree {
removeClass(this.domNode, 'inactive');
this.input.focus();
this.layout();
this._onDidStartFilter.fire(this);
}
private lastSelection: any[];