Name
PauseTimer -- pause a timer
Synopsis
PauseTimer(id)
Function
This function pauses the timer specified by id. When a timer is paused, it does not count the time but you can still retrieve the timer's state through GetTimer(). The timer can be resumed by calling ResumeTimer().

Inputs
id
identifier of the timer to pause
Example
none
Show TOC