2 Commits

Author	SHA1	Message	Date
willemferguson	6212bb6721	Preferences UI: final cleanup ... This commit does some final cleaning up to the code, mostly deleting white space and comments. 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
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