is_timer

Declaration

is_timer (name: STRING)

Description

Returns True if name is a timer created with make_timer.

See Also

make_timer
timer functions
Timer_Manager

Example

script start_test is
  make_timer ('test', 3600, False, False)
    -- a timer that fires in an hour and counts down
end

script on_test_fired is
  if is_timer ('test') then
    delete_timer ('test')
  end
  load_item_in_frame ('time_is_up', 'main_window_frame')
end