events: loop_schedule() is unclear, rename it loop_schedule_fast()

This commit is contained in:
Björn Linse
2019-08-29 12:48:01 +02:00
parent 7a85792884
commit f8b5d6e124
5 changed files with 15 additions and 11 deletions

View File

@@ -228,7 +228,11 @@ static void ui_refresh_event(void **argv)
void ui_schedule_refresh(void)
{
loop_schedule(&main_loop, event_create(ui_refresh_event, 0));
// TODO(bfredl): "fast" is not optimal. UI should be refreshed only at
// deferred processing plus a few more blocked-on-input situtions like
// wait_return(), but not any os_breakcheck(). Alternatively make this
// defered and make wait_return() process deferred events already.
loop_schedule_fast(&main_loop, event_create(ui_refresh_event, 0));
}
void ui_default_colors_set(void)