| Thu, 21 Sep 2017 20:51:14 +0200 | Wuzzy | Change icon for frontend group box in options menu | file | diff | annotate |
| Sat, 15 Apr 2017 08:52:05 +0200 | Wuzzy | Fix broken "whats this" help in misc options tab | file | diff | annotate |
| Fri, 14 Apr 2017 06:36:36 +0200 | Wuzzy | Use palette icon for user color settings group box | file | diff | annotate |