Wed, 14 Mar 2018 22:59:06 +0100 | Wuzzy | Drawn map menu: Add spin box to change brush size by hand | changeset | files |
Wed, 14 Mar 2018 22:57:31 +0100 | unc0rr | Fix broken previews for me, pepper with comments on logic. Probably makes it fail for windows users again. | changeset | files |
Wed, 14 Mar 2018 21:46:07 +0100 | Wuzzy | Add images for radio buttons, add hover and pressed images for checkboxes | changeset | files |
Wed, 14 Mar 2018 20:58:24 +0100 | Wuzzy | Fix weird scaling of draw map widget | changeset | files |