From c02fbaeae72df3b06a93b8091c86dc90bc4fc29b Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Fri, 16 Nov 2018 15:07:56 -0800 Subject: [PATCH] min height for event detail view when expanding (#3255) --- src/sql/parts/profiler/editor/profilerEditor.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/sql/parts/profiler/editor/profilerEditor.ts b/src/sql/parts/profiler/editor/profilerEditor.ts index 14005b6fb8..66ee89943b 100644 --- a/src/sql/parts/profiler/editor/profilerEditor.ts +++ b/src/sql/parts/profiler/editor/profilerEditor.ts @@ -84,7 +84,10 @@ class BasicView extends View { this._previousSize = this.size; this.setFixed(this.headerSize); } else { - this.setFlexible(this._previousSize); + // Enforce the min height for the view when user is doing expand operation, + // to make sure the view has a reasonable height. + const minHeight = 200; + this.setFlexible(Math.max(this._previousSize, minHeight)); } }