Christoph Oelckers 61f5247b71 -let's hope this will solve the pausing problem for good. ... The checks for game pause were totally inconsistent, so now there is a utility function that tells whether the game is supposed to run or not. pause can also take 3 values now - 0 for no pause, 1 for pause from opening the menu or console or 2 for hitting the pause button.		2020-07-21 22:46:26 +02:00
..
duke	-let's hope this will solve the pausing problem for good.	2020-07-21 22:46:26 +02:00