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_defaults.cpp | |
| 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_defaults.cpp')
| -rw-r--r-- | desktop-widgets/preferences/preferences_defaults.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop-widgets/preferences/preferences_defaults.cpp b/desktop-widgets/preferences/preferences_defaults.cpp index 98e33a2ff..ca1b51acb 100644 --- a/desktop-widgets/preferences/preferences_defaults.cpp +++ b/desktop-widgets/preferences/preferences_defaults.cpp @@ -27,6 +27,7 @@ void PreferencesDefaults::refreshSettings() ui->font->setCurrentFont(qPrefDisplay::divelist_font()); ui->fontsize->setValue(qPrefDisplay::font_size()); ui->velocitySlider->setValue(qPrefDisplay::animation_speed()); + } void PreferencesDefaults::syncSettings() |