From 95b0669e550f98c94a7044127c9bb3de0d507c30 Mon Sep 17 00:00:00 2001
From: Uwe Risse <dg2ycb@gmx.de>
Date: Fri, 10 Mar 2023 20:33:05 +0100
Subject: [PATCH] Some more fine-tuning to the devsetup.ui sizing.

---
 map65/devsetup.ui | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/map65/devsetup.ui b/map65/devsetup.ui
index 5ef1c2ddb..372ad06cb 100644
--- a/map65/devsetup.ui
+++ b/map65/devsetup.ui
@@ -6,10 +6,16 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>771</width>
-    <height>530</height>
+    <width>531</width>
+    <height>387</height>
    </rect>
   </property>
+  <property name="sizePolicy">
+   <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
+    <horstretch>0</horstretch>
+    <verstretch>0</verstretch>
+   </sizepolicy>
+  </property>
   <property name="windowTitle">
    <string>Setup / Options</string>
   </property>