Add title API for tree views (#80623)

* First pass at set view title

* Change to get/set instead of setTitle

and get the name of the view from the extension contributions
This commit is contained in:
Alex Ross
2019-09-11 10:56:45 +02:00
committed by GitHub
parent 9aab28daea
commit 462a8be7d4
6 changed files with 55 additions and 2 deletions

View File

@@ -76,6 +76,13 @@ export class MainThreadTreeViews extends Disposable implements MainThreadTreeVie
}
}
$setTitle(treeViewId: string, title: string): void {
const viewer = this.getTreeView(treeViewId);
if (viewer) {
viewer.title = title;
}
}
private async reveal(treeView: ITreeView, dataProvider: TreeViewDataProvider, itemIn: ITreeItem, parentChain: ITreeItem[], options: IRevealOptions): Promise<void> {
options = options ? options : { select: false, focus: false };
const select = isUndefinedOrNull(options.select) ? false : options.select;