mirror of
https://github.com/rkd77/elinks.git
synced 2024-12-04 14:46:47 -05:00
[select] kill_timer
This commit is contained in:
parent
fc13186415
commit
0d5a600b33
@ -536,6 +536,8 @@ select_loop(void (*init)(void))
|
||||
if (program.terminate) break;
|
||||
do_event_loop(EVLOOP_ONCE);
|
||||
}
|
||||
kill_timer(&periodic_redraw_timer);
|
||||
return;
|
||||
} else
|
||||
#endif
|
||||
while (!program.terminate) {
|
||||
@ -644,6 +646,7 @@ select_loop(void (*init)(void))
|
||||
n -= k;
|
||||
}
|
||||
}
|
||||
kill_timer(&periodic_redraw_timer);
|
||||
}
|
||||
|
||||
static int
|
||||
|
Loading…
Reference in New Issue
Block a user