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 /core/pref.h | |
| 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 'core/pref.h')
| -rw-r--r-- | core/pref.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/pref.h b/core/pref.h index 1e8417af8..6949b762c 100644 --- a/core/pref.h +++ b/core/pref.h @@ -123,6 +123,7 @@ struct preferences { bool filterFullTextNotes; // mobile only - include notes information in full text searh bool filterCaseSensitive; // mobile only - make fltering case sensitive bool extraEnvironmentalDefault; + bool salinityEditDefault; // ********** Geocoding ********** geocoding_prefs_t geocoding; |