#27823 Fix size is not updated when header is toggled

microsoft · Jun 18, 2017 · 484d69c · 484d69c
1 parent 654adde
commit 484d69c
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/vs/base/browser/ui/splitview/splitview.ts b/src/vs/base/browser/ui/splitview/splitview.ts
@@ -407,6 +407,22 @@ export abstract class AbstractCollapsibleView extends HeaderView {
 		this.updateSize();
 	}
 
+	showHeader(): boolean {
+		const result = super.showHeader();
+		if (result) {
+			this.updateSize();
+		}
+		return result;
+	}
+
+	hideHeader(): boolean {
+		const result = super.hideHeader();
+		if (result) {
+			this.updateSize();
+		}
+		return result;
+	}
+
 	dispose(): void {
 		if (this.headerClickListener) {
 			this.headerClickListener.dispose();