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/violation-icon.svg | |
| 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/violation-icon.svg')
0 files changed, 0 insertions, 0 deletions