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 |
Wed, 14 Mar 2018 20:39:14 +0100 | Wuzzy | Drawn map page: Move save and load buttons, fix points label overlap | changeset | files |
Wed, 14 Mar 2018 20:00:09 +0100 | Wuzzy | Drawn map page: Enable antialiasing, turn eraser cursor red | changeset | files |