From ef187fca5481e688c4d9cef138e37365f4935232 Mon Sep 17 00:00:00 2001
From: guykohen <guy@clickhouse.com>
Date: Tue, 24 May 2022 20:10:02 -0400
Subject: [PATCH] Remove height restrictions from the query div in play web
 tool, and make sure width of the query box won't shrink below 100%.

Default height is set to 20% which should be big enough for medium queries.
---
 programs/server/play.html | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/programs/server/play.html b/programs/server/play.html
index 69ef616db09..31284f8feb5 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -101,14 +101,9 @@
 
         #controls
         {
-            /* Make enough space for even huge queries. */
-            height: 20%;
             /* When a page will be scrolled horizontally due to large table size, keep controls in place. */
             position: sticky;
             left: 0;
-            /* This allows query textarea to occupy the remaining height while other elements have fixed height. */
-            display: flex;
-            flex-direction: column;
         }
 
         /* Otherwise Webkit based browsers will display ugly border on focus. */
@@ -146,15 +141,10 @@
             background-color: var(--element-background-color);
         }
 
-        #query_div
-        {
-            /* Make enough space for medium/large queries but allowing query textarea to grow. */
-            min-height: 20%;
-            display: grid;
-        }
-
         #query
         {
+            /* Make enough space for even big queries. */
+            height: calc(20vh);
             /* Keeps query text-area's width full screen even when user adjusting the width of the query box. */
             min-width: 100%;
         }