mifr/subsurface
1
0
Fork 0
mirror of https://github.com/subsurface/subsurface.git synced 2024-11-28 13:10:19 +00:00
Code Issues Projects Releases Packages Wiki Activity

Desktop: reduce minimum vertical size

Browse source 
The Filter widget really needed to be scrollable as it is very tall.

Fixes #2152

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2019-07-04 11:55:45 +09:00
parent da0d6af410
commit 774e9ae143
1 changed files with 438 additions and 409 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
desktop-widgets/filterwidget2.ui
View file

@ -13,6 +13,33 @@
<property name="windowTitle"> <property name="windowTitle">
<string>Form</string> <string>Form</string>
</property> </property>
<widget class="QScrollArea" name="scrollArea">
<property name="geometry">
<rect>
<x>0</x>
<y>0</y>
<width>510</width>
<height>200</height>
</rect>
</property>
<property name="frameShape">
<enum>QFrame::NoFrame</enum>
</property>
<property name="frameShadow">
<enum>QFrame::Plain</enum>
</property>
<property name="widgetResizable">
<bool>true</bool>
</property>
<widget class="QWidget" name="scrollAreaWidgetContents">
<property name="geometry">
<rect>
<x>0</x>
<y>0</y>
<width>510</width>
<height>200</height>
</rect>
</property>
<layout class="QGridLayout" name="gridLayout"> <layout class="QGridLayout" name="gridLayout">
<item row="0" column="0"> <item row="0" column="0">
<widget class="QLabel" name="filterButtonExplanation"> <widget class="QLabel" name="filterButtonExplanation">
@ -440,11 +467,13 @@
</item> </item>
</layout> </layout>
</widget> </widget>
</widget>
</widget>
<customwidgets> <customwidgets>
<customwidget> <customwidget>
<class>StarWidget</class> <class>StarWidget</class>
<extends>QWidget</extends> <extends>QWidget</extends>
<header location="global">desktop-widgets/starwidget.h</header> <header>desktop-widgets/starwidget.h</header>
<container>1</container> <container>1</container>
</customwidget> </customwidget>
</customwidgets> </customwidgets>