diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-11-13 13:02:39 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-11-13 13:02:39 +0900 |
| commit | 17b5618c3984cbeef3b14a222f259e4f83fe9f28 (patch) | |
| tree | 63bd332dcc61583463e26edbb5211db46bc75c69 /qt-ui/preferences.ui | |
| parent | d06e6b7d20f12e3fe4fdf7ac8e1c6e99f1c5c4ea (diff) | |
| download | subsurface-17b5618c3984cbeef3b14a222f259e4f83fe9f28.tar.gz | |
MaxPPO2 should be a double, not an int
This just fixes the spinner used in the preferences dialog.
Reported-by: Benjamin <nystire@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'qt-ui/preferences.ui')
| -rw-r--r-- | qt-ui/preferences.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/qt-ui/preferences.ui b/qt-ui/preferences.ui index b02e7f13a..960c31c57 100644 --- a/qt-ui/preferences.ui +++ b/qt-ui/preferences.ui @@ -620,7 +620,7 @@ </widget> </item> <item> - <widget class="QSpinBox" name="maxppo2"> + <widget class="QDoubleSpinBox" name="maxppo2"> <property name="enabled"> <bool>false</bool> </property> |