From e9454e4db7c8c518d0f6ab6239b1dad5ffac797d Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Mon, 2 Dec 2019 23:04:22 +0100
Subject: [PATCH] fix SQL console scrolling

(cherry picked from commit 749bb90713f5aa88dcd5454fb70af750320931ba)
---
 src/public/stylesheets/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index 97f0f6eac..e77148331 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -411,6 +411,10 @@ div.ui-tooltip {
     height: 150px;
 }
 
+#sql-console-query .CodeMirror-scroll {
+    min-height: inherit !important;
+}
+
 .btn {
     border-radius: var(--button-border-radius);
 }