diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-12-10 15:02:13 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-25 02:57:42 +0900 |
| commit | 75b5be8f40df3d3b7d354eead0439b53b2490024 (patch) | |
| tree | ec10df44d61174459c0498ddff7a2bf25d842a8d /desktop-widgets/preferences/preferences_defaults.h | |
| parent | b6c3cdb20cbcb1654c83d555d278476f55d3d103 (diff) | |
| download | subsurface-75b5be8f40df3d3b7d354eead0439b53b2490024.tar.gz | |
Preferences UI: add reset tab
Add a separate preferences tab for resetting all preferences to their default values.
One or two very small alterations to other sections of the preferences UI code.
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.h')
| -rw-r--r-- | desktop-widgets/preferences/preferences_defaults.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop-widgets/preferences/preferences_defaults.h b/desktop-widgets/preferences/preferences_defaults.h index cc92ade40..44856a6fa 100644 --- a/desktop-widgets/preferences/preferences_defaults.h +++ b/desktop-widgets/preferences/preferences_defaults.h @@ -16,6 +16,7 @@ public: ~PreferencesDefaults(); void refreshSettings() override; void syncSettings() override; + public slots: private: |