Mon, 27 May 2019 16:43:42 +0200 | Wuzzy | Background theme detection: Also check if Border.png is present | file | diff | annotate |
Tue, 23 Apr 2019 15:32:04 +0200 | Wuzzy | Change theme to Nature if changing from background-only or hidden theme to a generated map type | file | diff | annotate |
Thu, 22 Mar 2018 16:52:04 +0100 | Wuzzy | Add icons to background themes; allow to hide themes explicitly by adding “hidden” key to theme.cfg | file | diff | annotate |