expand the detail section by selecting the headers (#6130)

* expand the detail section by selecting the headers

* use methods

* address comments
This commit is contained in:
Alan Ren
2019-06-22 00:29:02 -07:00
committed by GitHub
parent 4c1af148c7
commit 08cf731c87
3 changed files with 27 additions and 3 deletions

View File

@@ -206,6 +206,10 @@ export class ProfilerCollapsablePanelAction extends Action {
return Promise.resolve(true);
}
get collapsed(): boolean {
return this._collapsed;
}
set collapsed(val: boolean) {
this._collapsed = val === false ? false : true;
this._setClass(this._collapsed ? 'maximize-panel-action' : 'minimize-panel-action');

View File

@@ -336,6 +336,13 @@ export class ProfilerEditor extends BaseEditor {
tabbedPanelContainer.className = 'profiler-tabbedPane';
this._tabbedPanel = new TabbedPanel(tabbedPanelContainer);
attachTabbedPanelStyler(this._tabbedPanel, this.themeService);
const expandPanel = () => {
if (this._collapsedPanelAction.collapsed) {
this._collapsedPanelAction.run(this.input);
}
};
this._tabbedPanel.pushTab({
identifier: 'editor',
title: nls.localize('text', "Text"),
@@ -343,7 +350,8 @@ export class ProfilerEditor extends BaseEditor {
layout: dim => this._editor.layout(dim),
render: parent => parent.appendChild(editorContainer),
focus: () => this._editor.focus()
}
},
tabSelectedHandler: expandPanel
});
let detailTableContainer = document.createElement('div');
@@ -382,7 +390,8 @@ export class ProfilerEditor extends BaseEditor {
layout: dim => this._detailTable.layout(dim),
render: parent => parent.appendChild(detailTableContainer),
focus: () => this._detailTable.focus()
}
},
tabSelectedHandler: expandPanel
});
this._collapsedPanelAction = this._instantiationService.createInstance(Actions.ProfilerCollapsablePanelAction, Actions.ProfilerCollapsablePanelAction.ID, Actions.ProfilerCollapsablePanelAction.LABEL);