def unpause():
if time.paused:
time.__offset += time._get_ticks() - time.__start_pause
time.paused = False
def new_get_ticks():
if time.paused: return time.__at_pause
else: return time._get_ticks() - time.__offset
def pause():
if not time.paused:
time.__start_pause = time._get_ticks()
time.__at_pause = time.get_ticks()
time.paused = True