Better sizing for check-update dialog

MiniZinc · Aug 18, 2018 · 1a97017 · 1a97017
1 parent c3f6b7e
commit 1a97017
Showing 1 changed file with 22 additions and 17 deletions.
diff --git a/MiniZincIDE/checkupdatedialog.ui b/MiniZincIDE/checkupdatedialog.ui
@@ -32,6 +32,9 @@
    <bool>true</bool>
   </property>
   <layout class="QHBoxLayout" name="horizontalLayout_3">
+   <property name="sizeConstraint">
+    <enum>QLayout::SetFixedSize</enum>
+   </property>
    <item>
     <layout class="QHBoxLayout" name="horizontalLayout_2">
      <property name="sizeConstraint">
@@ -42,6 +45,9 @@
        <property name="sizeConstraint">
         <enum>QLayout::SetMinimumSize</enum>
        </property>
+       <property name="topMargin">
+        <number>4</number>
+       </property>
        <item>
         <widget class="QLabel" name="label_3">
          <property name="sizePolicy">
@@ -52,14 +58,14 @@
          </property>
          <property name="minimumSize">
           <size>
-           <width>124</width>
-           <height>124</height>
+           <width>100</width>
+           <height>100</height>
           </size>
          </property>
          <property name="maximumSize">
           <size>
-           <width>124</width>
-           <height>124</height>
+           <width>100</width>
+           <height>100</height>
           </size>
          </property>
          <property name="text">
@@ -109,6 +115,18 @@
        <property name="sizeConstraint">
         <enum>QLayout::SetMinimumSize</enum>
        </property>
+       <property name="leftMargin">
+        <number>0</number>
+       </property>
+       <property name="topMargin">
+        <number>4</number>
+       </property>
+       <property name="rightMargin">
+        <number>4</number>
+       </property>
+       <property name="bottomMargin">
+        <number>4</number>
+       </property>
        <item>
         <widget class="QLabel" name="label">
          <property name="sizePolicy">
@@ -178,19 +196,6 @@
          </property>
         </widget>
        </item>
-       <item>
-        <spacer name="verticalSpacer_3">
-         <property name="orientation">
-          <enum>Qt::Vertical</enum>
-         </property>
-         <property name="sizeHint" stdset="0">
-          <size>
-           <width>20</width>
-           <height>20</height>
-          </size>
-         </property>
-        </spacer>
-       </item>
       </layout>
      </item>
     </layout>