diff options
| author | Eike Ziller <eike.ziller@qt.io> | 2018-12-18 12:59:53 +0100 |
|---|---|---|
| committer | Eike Ziller <eike.ziller@qt.io> | 2019-01-07 12:44:20 +0000 |
| commit | 34298051545e38304890af0433a0cc31b3babf04 (patch) | |
| tree | 29607297ce72a3faadd9cee823fd4076a9800a37 | |
| parent | 873b8820c1305630d6e682539cadc87252285c07 (diff) | |
System settings: Don't let terminal drop down vanish
It should shrink, but must have a minimum size to not vanish when the
preferences dialog is made small.
Change-Id: If71ae3acd5d1d92b35dc78e9bc5b57e5c118879e
Reviewed-by: André Hartmann <aha_1980@gmx.de>
| -rw-r--r-- | src/plugins/coreplugin/systemsettings.ui | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/plugins/coreplugin/systemsettings.ui b/src/plugins/coreplugin/systemsettings.ui index 80be38ca39..172e773657 100644 --- a/src/plugins/coreplugin/systemsettings.ui +++ b/src/plugins/coreplugin/systemsettings.ui @@ -340,14 +340,19 @@ <verstretch>0</verstretch> </sizepolicy> </property> + <property name="minimumSize"> + <size> + <width>100</width> + <height>0</height> + </size> + </property> <property name="editable"> <bool>true</bool> </property> </widget> </item> <item> - <widget class="QLineEdit" name="terminalOpenArgs"> - </widget> + <widget class="QLineEdit" name="terminalOpenArgs"/> </item> <item> <widget class="QLineEdit" name="terminalExecuteArgs"> |