4 Commits

Author	SHA1	Message	Date
Matthias Mailänder	d1e18cad7a	new PauseState to differentiate game and editor pausing	2014-07-06 08:24:08 +02:00
ScottNZ	dbffce81a6	Remove unused usings	2014-06-15 22:16:40 +12:00
Paul Chote	d5edbc2bc7	Tick the game timer status independently of the game rate.	2014-03-14 10:07:54 +01:00
Paul Chote	a7d6f717c4	Overhaul ingame timer displays. Fixes #3062.	2014-03-12 17:19:06 +13:00