| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-12-25 | 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 | 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> | |||