diff options
author | Patrick Valsecchi <patrick@thus.ch> | 2013-11-20 16:11:22 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2013-11-21 08:11:40 -0800 |
commit | fe2eabf3756c9883ee8e8c145e5cd12d8d336933 (patch) | |
tree | 2cde71531d087a96fa91ba1dc47d07f42ae98faa /qt-ui/preferences.ui | |
parent | 4c4a7a6d968fa27de72f1510c55d327a7e919d7c (diff) | |
download | subsurface-fe2eabf3756c9883ee8e8c145e5cd12d8d336933.tar.gz |
Added a configuration option to have gf_low apply at max depth instead of at deepest ceiling.
Signed-off-by: Patrick Valsecchi <patrick@thus.ch>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'qt-ui/preferences.ui')
-rw-r--r-- | qt-ui/preferences.ui | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/qt-ui/preferences.ui b/qt-ui/preferences.ui index 7e071face..581670c91 100644 --- a/qt-ui/preferences.ui +++ b/qt-ui/preferences.ui @@ -763,6 +763,13 @@ <item row="1" column="1"> <widget class="QSpinBox" name="gfhigh"/> </item> + <item row="2" column="0" colspan="2"> + <widget class="QCheckBox" name="gf_low_at_maxdepth"> + <property name="text"> + <string>GFLow at max depth</string> + </property> + </widget> + </item> </layout> </widget> </item> |