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>
This commit is contained in:
willemferguson 2019-12-10 15:02:13 +02:00 committed by Dirk Hohndel
parent b6c3cdb20c
commit 75b5be8f40
11 changed files with 227 additions and 61 deletions

View file

@ -18,6 +18,8 @@
<file alias="preferences-dc-icon">icons/pref_dc.png</file>
<file alias="preferences-log-icon">icons/pref_log.png</file>
<file alias="preferences-display-icon">icons/pref_display.png</file>
<file alias="preferences-reset-icon">icons/pref_reset.png</file>
<file alias="preferences-reset-warning-icon">icons/warning.png</file>
<file alias="scale-graph-icon">icons/graph.png</file>
<file alias="value-minimum-icon">icons/minimum.png</file>
<file alias="value-maximum-icon">icons/maximum.png</file>