diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-11-19 11:52:33 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-01-06 07:00:34 +0900 |
| commit | 732d5a9fbd2b7d72610604a1b065ebbd9ea55960 (patch) | |
| tree | 70e1dc0a231970cf646e595536adc14a375b775b /desktop-widgets/preferences/preferences_log.ui | |
| parent | 95a0a0f5a6038d5a73775e2060e29d09d0953d7e (diff) | |
| download | subsurface-732d5a9fbd2b7d72610604a1b065ebbd9ea55960.tar.gz | |
desktop UI: add preference for making salinity editable
Create a checkbox in the Preferences: General screen that enables or disables
editing of the salinity data. This preference is saved with all the other
preferences.
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/preferences/preferences_log.ui')
| -rw-r--r-- | desktop-widgets/preferences/preferences_log.ui | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/desktop-widgets/preferences/preferences_log.ui b/desktop-widgets/preferences/preferences_log.ui index 9d1214b92..1a5e33caf 100644 --- a/desktop-widgets/preferences/preferences_log.ui +++ b/desktop-widgets/preferences/preferences_log.ui @@ -130,6 +130,13 @@ </item> <item> + <widget class="QCheckBox" name="salinityEditDefault"> + <property name="text"> + <string>In the Information tab, allow editing of water salinity</string> + </property> + </widget> + </item> + <item> <spacer name="verticalSpacer_2"> <property name="orientation"> <enum>Qt::Vertical</enum> |