Fix a UI bug

The dock widget will take as much space as it could get now
3 years ago · b319f9fbe1
parent c0afa6bb32
commit b319f9fbe1
1 changed files with 1 additions and 1 deletions
--- a/ui/mainwindow.ui
+++ b/ui/mainwindow.ui
@ -21,7 +21,7 @@
  </property>
  <widget class="QWidget" name="centralwidget">
   <property name="sizePolicy">
-    <sizepolicy hsizetype="Expanding" vsizetype="Minimum">
+    <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
     <horstretch>0</horstretch>
     <verstretch>0</verstretch>
    </sizepolicy>