2019-01-11 merge release branch
nemo [Fri, 11 Jan 2019 08:51:11 -0500] rev 14562
merge release branch
2019-01-11 tabs to spaces 0.9.25
nemo [Fri, 11 Jan 2019 08:45:11 -0500] rev 14561
tabs to spaces
2019-01-11 deletegear rearrangement applied to branch too. if this causes desyncs you're probably in a crashy state already 0.9.25
nemo [Fri, 11 Jan 2019 08:42:15 -0500] rev 14560
deletegear rearrangement applied to branch too. if this causes desyncs you're probably in a crashy state already
2019-01-11 couple more use after frees for gear deletion.
nemo [Fri, 11 Jan 2019 08:08:28 -0500] rev 14559
couple more use after frees for gear deletion. also rearranged lines a bit and added a redundant exit to try to proof things a bit. more evidence we need rust.
2019-01-11 Make sure to render crosshair above render
Wuzzy <Wuzzy2@mail.ru> [Fri, 11 Jan 2019 04:38:07 +0100] rev 14558
Make sure to render crosshair above render
2019-01-11 Render contour of flying saucer is in (mostly) opaque
Wuzzy <Wuzzy2@mail.ru> [Fri, 11 Jan 2019 03:50:06 +0100] rev 14557
Render contour of flying saucer is in (mostly) opaque
2019-01-11 Frontend: Increase padding of small push buttons
Wuzzy <Wuzzy2@mail.ru> [Fri, 11 Jan 2019 01:44:04 +0100] rev 14556
Frontend: Increase padding of small push buttons
2019-01-10 Restore map scaling of Tunnels script
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:22:44 +0100] rev 14555
Restore map scaling of Tunnels script
2019-01-10 Force MapFeatureSize=12 in TechRacer
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:16:32 +0100] rev 14554
Force MapFeatureSize=12 in TechRacer
2019-01-10 Fix Racer ghost not resetting properly after a skip (bug 565)
Wuzzy <Wuzzy2@mail.ru> [Thu, 10 Jan 2019 23:10:20 +0100] rev 14553
Fix Racer ghost not resetting properly after a skip (bug #565)
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip