Sat, 17 Mar 2018 15:51:45 +0100 | Wuzzy | Draw map page: Fix pen size being changed after loading a map | file | diff | annotate |
Wed, 14 Mar 2018 22:59:06 +0100 | Wuzzy | Drawn map menu: Add spin box to change brush size by hand | file | diff | annotate |
Wed, 14 Mar 2018 20:00:09 +0100 | Wuzzy | Drawn map page: Enable antialiasing, turn eraser cursor red | file | diff | annotate |