nemo [Fri, 06 Apr 2018 12:34:23 -0400] rev 13316
quick game wasn't checking for hidden themes. It should, but this will at least make them not-crash. The results are kind of amusing.
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 21:34:09 +0200] rev 13315
Remove “mission accomplished” victory message, might be confusing
For example, if this appears in an actual mission when the player fails.
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 19:33:19 +0200] rev 13314
Show simple drop-down icon next to key binder widget
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 18:38:00 +0200] rev 13313
Update changelog
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 14:05:29 +0200] rev 13312
Update locale files
unc0rr [Fri, 30 Mar 2018 20:42:24 +0200] rev 13311
Improve error message a bit
nemo [Fri, 30 Mar 2018 12:26:51 -0400] rev 13310
oups
nemo [Fri, 30 Mar 2018 11:56:16 -0400] rev 13309
add title manipulation
unc0rr [Fri, 30 Mar 2018 17:01:30 +0200] rev 13308
Bump protocol version, update sources in preparation for .24 release
nemo [Fri, 30 Mar 2018 10:03:29 -0400] rev 13307
simple optimised svg of the low detail hedgehog for use in .desktop files and such