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 /icons | |
| 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 'icons')
| -rw-r--r-- | icons/pref_reset.png | bin | 0 -> 586 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/icons/pref_reset.png b/icons/pref_reset.png Binary files differnew file mode 100644 index 000000000..cb6277a1a --- /dev/null +++ b/icons/pref_reset.png |
