willemferguson 75b5be8f40 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>

2019-12-25 02:57:42 +09:00

586 B

46x48px

Raw Permalink History