From ce783a44531638c3cfc7acc30ed4f18a31686157 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Mon, 4 Jan 2016 12:07:22 +0100
Subject: [PATCH] Vertical policy adjusted

Adjusted what happens when the history is hidden.
---
 relational_gui/maingui.ui | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui
index 6ac824a..4588abc 100644
--- a/relational_gui/maingui.ui
+++ b/relational_gui/maingui.ui
@@ -50,7 +50,7 @@
        <property name="sizePolicy">
         <sizepolicy hsizetype="Maximum" vsizetype="Maximum">
          <horstretch>0</horstretch>
-         <verstretch>0</verstretch>
+         <verstretch>10</verstretch>
         </sizepolicy>
        </property>
        <property name="minimumSize">
@@ -209,9 +209,9 @@
          <item>
           <widget class="QListWidget" name="lstHistory">
            <property name="sizePolicy">
-            <sizepolicy hsizetype="Expanding" vsizetype="Minimum">
+            <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
              <horstretch>0</horstretch>
-             <verstretch>0</verstretch>
+             <verstretch>2</verstretch>
             </sizepolicy>
            </property>
            <property name="minimumSize">
@@ -234,6 +234,22 @@
            </property>
           </widget>
          </item>
+         <item>
+          <spacer name="verticalSpacer_3">
+           <property name="orientation">
+            <enum>Qt::Vertical</enum>
+           </property>
+           <property name="sizeType">
+            <enum>QSizePolicy::MinimumExpanding</enum>
+           </property>
+           <property name="sizeHint" stdset="0">
+            <size>
+             <width>20</width>
+             <height>0</height>
+            </size>
+           </property>
+          </spacer>
+         </item>
          <item>
           <layout class="QHBoxLayout" name="horizontalLayout_5">
            <property name="spacing">