From b96813f064594a800e462ffc1b14e8210f93e3b4 Mon Sep 17 00:00:00 2001
From: donovaly <uwestoehr@lyx.org>
Date: Wed, 24 Jul 2019 00:19:49 +0200
Subject: [PATCH] TaskSketcherGeneral.ui: save horizontal space

The renderingOrder ListWidget consumes too much vertical space. In 99% of the cases it has only 3 entries but currently there is always space consumed for 10 entries.
Therefore use a size policy with 12 px for one entry and expanded if necessary to contain more entries
---
 src/Mod/Sketcher/Gui/TaskSketcherGeneral.ui | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/Mod/Sketcher/Gui/TaskSketcherGeneral.ui b/src/Mod/Sketcher/Gui/TaskSketcherGeneral.ui
index 607bd8b16b..bfaa3ce7f1 100644
--- a/src/Mod/Sketcher/Gui/TaskSketcherGeneral.ui
+++ b/src/Mod/Sketcher/Gui/TaskSketcherGeneral.ui
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>275</width>
-    <height>256</height>
+    <height>210</height>
    </rect>
   </property>
   <property name="windowTitle">
@@ -121,6 +121,18 @@ Points must be set closer than a fifth of the grid size to a grid line to snap.<
    </item>
    <item>
     <widget class="QListWidget" name="renderingOrder">
+     <property name="sizePolicy">
+      <sizepolicy hsizetype="Expanding" vsizetype="Minimum">
+       <horstretch>0</horstretch>
+       <verstretch>0</verstretch>
+      </sizepolicy>
+     </property>
+     <property name="minimumSize">
+      <size>
+       <width>12</width>
+       <height>12</height>
+      </size>
+     </property>
      <property name="toolTip">
       <string>To change, drag and drop a geometry type to top or bottom</string>
      </property>