Sun, 07 Apr 2019 22:43:45 +0200 Add support for decimal point of displayed mine timer
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 22:43:45 +0200] rev 14755
Add support for decimal point of displayed mine timer
Sun, 07 Apr 2019 20:53:29 +0200 Renew crate health display when health changed
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 20:53:29 +0200] rev 14754
Renew crate health display when health changed
Sun, 07 Apr 2019 20:03:09 +0200 Don't render barrel health after loading savegame
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 20:03:09 +0200] rev 14753
Don't render barrel health after loading savegame
Sun, 07 Apr 2019 20:01:02 +0200 Don't explose mine timer in game if random (using Karma value)
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 20:01:02 +0200] rev 14752
Don't explose mine timer in game if random (using Karma value)
Sun, 07 Apr 2019 19:31:58 +0200 HedgeEditor: Remove gear info tags
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 19:31:58 +0200] rev 14751
HedgeEditor: Remove gear info tags Because gear info tags are now supported in the engine
Sun, 07 Apr 2019 19:26:16 +0200 Render mine timer if gear info is active
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 19:26:16 +0200] rev 14750
Render mine timer if gear info is active
Sun, 07 Apr 2019 18:21:14 +0200 Add key to display extra gear info tags
Wuzzy <Wuzzy2@mail.ru> [Sun, 07 Apr 2019 18:21:14 +0200] rev 14749
Add key to display extra gear info tags
Wed, 03 Apr 2019 13:00:05 +0200 Fix air mine not colliding with crates initially (bug 679)
Wuzzy <Wuzzy2@mail.ru> [Wed, 03 Apr 2019 13:00:05 +0200] rev 14748
Fix air mine not colliding with crates initially (bug #679)
Tue, 02 Apr 2019 23:14:31 +0200 Fix uninitialized alpha values of rendered text
Wuzzy <Wuzzy2@mail.ru> [Tue, 02 Apr 2019 23:14:31 +0200] rev 14747
Fix uninitialized alpha values of rendered text
Tue, 02 Apr 2019 22:57:46 +0200 Flip meaning of "inverted" color images
Wuzzy <Wuzzy2@mail.ru> [Tue, 02 Apr 2019 22:57:46 +0200] rev 14746
Flip meaning of "inverted" color images
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip