diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-11-28 10:47:12 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-03 20:37:57 -0800 |
| commit | 7dc8a9850db1f33fcccdfec393b431c50ff05b42 (patch) | |
| tree | d6f13eb616a6d5bfcf221650734fb5c92ee64bd9 /core/pref.h | |
| parent | 33e49637ec6a99c50ad56bfbfc88b4e925d01e7d (diff) | |
| download | subsurface-7dc8a9850db1f33fcccdfec393b431c50ff05b42.tar.gz | |
Desktop: handle environmental states in Information tab
Create a preference setting on the General Settings page. The setting is saved
with 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 f7af35415..b02d9df99 100644 --- a/core/pref.h +++ b/core/pref.h @@ -119,6 +119,7 @@ struct preferences { bool use_default_file; bool filterFullTextNotes; // mobile only - include notes information in full text searh bool filterCaseSensitive; // mobile only - make fltering case sensitive + bool extraEnvironmentalDefault; // ********** Geocoding ********** geocoding_prefs_t geocoding; |