Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 22:59:06 +0100] rev 13209
Drawn map menu: Add spin box to change brush size by hand
unc0rr [Wed, 14 Mar 2018 22:57:31 +0100] rev 13208
Fix broken previews for me, pepper with comments on logic. Probably makes it fail for windows users again.
Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 21:46:07 +0100] rev 13207
Add images for radio buttons, add hover and pressed images for checkboxes
Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 20:58:24 +0100] rev 13206
Fix weird scaling of draw map widget
Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 20:39:14 +0100] rev 13205
Drawn map page: Move save and load buttons, fix points label overlap
Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 20:00:09 +0100] rev 13204
Drawn map page: Enable antialiasing, turn eraser cursor red
Wuzzy <Wuzzy2@mail.ru> [Wed, 14 Mar 2018 19:40:43 +0100] rev 13203
Fix cursor circle being too large in drawn map editor