main::delete_timer(timerid)
Removes the specified timer, immediately stopping its timer events.
Categories: API