DEFAULT_TIMER_TICK 466 ext/tk/tcltklib.c static int timer_tick = DEFAULT_TIMER_TICK; DEFAULT_TIMER_TICK 467 ext/tk/tcltklib.c static int req_timer_tick = DEFAULT_TIMER_TICK;