DEFAULT_TIMER_TICK 545 ext/tk/tcltklib.c static int timer_tick = DEFAULT_TIMER_TICK; DEFAULT_TIMER_TICK 546 ext/tk/tcltklib.c static int req_timer_tick = DEFAULT_TIMER_TICK;