Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-12-25 | Preferences UI: final cleanup | willemferguson | |
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 | Preferences UI: add reset tab | willemferguson | |
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> |