From 8af503e3301817a27a32ed148a8c3d979f483bfe Mon Sep 17 00:00:00 2001
From: donovaly <uwestoehr@lyx.org>
Date: Mon, 6 Jan 2020 18:03:25 +0100
Subject: [PATCH] Placement.ui: avoid unnecessary vertical white space

---
 src/Gui/Placement.ui | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/Gui/Placement.ui b/src/Gui/Placement.ui
index b432ba662f..216830dac4 100644
--- a/src/Gui/Placement.ui
+++ b/src/Gui/Placement.ui
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>277</width>
-    <height>400</height>
+    <height>359</height>
    </rect>
   </property>
   <property name="sizePolicy">
@@ -206,6 +206,18 @@
    </item>
    <item row="1" column="0" colspan="2">
     <widget class="QGroupBox" name="GroupBox5_2">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+       <horstretch>0</horstretch>
+       <verstretch>0</verstretch>
+      </sizepolicy>
+     </property>
+     <property name="maximumSize">
+      <size>
+       <width>16777215</width>
+       <height>136</height>
+      </size>
+     </property>
      <property name="title">
       <string>Rotation:</string>
      </property>