feat: adjust paneview header

This commit is contained in:
mathuo 2022-05-22 19:42:51 +01:00
parent 2774a27eda
commit 06f467184b
No known key found for this signature in database
GPG Key ID: C6EEDEFD6CA07281
2 changed files with 10 additions and 4 deletions

View File

@ -26,11 +26,11 @@ export class DefaultHeader
this._content = document.createElement('span'); this._content = document.createElement('span');
this._expander = document.createElement('a'); this._expander = document.createElement('a');
this.element.appendChild(this._content);
this.element.appendChild(this._expander); this.element.appendChild(this._expander);
this.element.appendChild(this._content);
this.addDisposables( this.addDisposables(
addDisposableListener(this._expander, 'click', () => { addDisposableListener(this._element, 'click', () => {
this.apiRef.api?.setExpanded(!this.apiRef.api.isExpanded); this.apiRef.api?.setExpanded(!this.apiRef.api.isExpanded);
}) })
); );
@ -40,10 +40,10 @@ export class DefaultHeader
this.apiRef.api = params.api; this.apiRef.api = params.api;
this._content.textContent = params.title; this._content.textContent = params.title;
this._expander.textContent = params.api.isExpanded ? '<' : '>'; this._expander.textContent = params.api.isExpanded ? '▼' : '▶';
this.disposable.value = params.api.onDidExpansionChange((e) => { this.disposable.value = params.api.onDidExpansionChange((e) => {
this._expander.textContent = e.isExpanded ? '<' : '>'; this._expander.textContent = e.isExpanded ? '▼' : '▶';
}); });
} }

View File

@ -29,6 +29,12 @@
color: var(--dv-activegroup-visiblepanel-tab-color); color: var(--dv-activegroup-visiblepanel-tab-color);
display: flex; display: flex;
padding: 0px 8px; padding: 0px 8px;
cursor: pointer;
a {
padding-right: 8px;
width: 10px;
}
> span { > span {
flex-grow: 1; flex-grow: 1;