| Fri, 16 Mar 2018 19:05:11 +0100 | Wuzzy | Frontend: Properly “gray out” most disabled widgets (a lot of them weren't) | file | diff | annotate |
| Wed, 14 Mar 2018 21:46:07 +0100 | Wuzzy | Add images for radio buttons, add hover and pressed images for checkboxes | file | diff | annotate |
| Tue, 10 Oct 2017 23:42:56 +0200 | Wuzzy | Change DLC icon (thanks, nemo!) | file | diff | annotate |