shell_write_cb: Schedule error message. (#5670)

Closes #5558
This commit is contained in:
Justin M. Keyes
2016-11-26 13:08:42 +01:00
committed by GitHub
parent ecd7beb6e4
commit 7be113d795
3 changed files with 23 additions and 4 deletions

View File

@@ -177,14 +177,14 @@ void ui_refresh(void)
pum_set_external(pum_external);
}
static void ui_refresh_handler(void **argv)
static void ui_refresh_event(void **argv)
{
ui_refresh();
}
void ui_schedule_refresh(void)
{
loop_schedule(&main_loop, event_create(1, ui_refresh_handler, 0));
loop_schedule(&main_loop, event_create(1, ui_refresh_event, 0));
}
void ui_resize(int new_width, int new_height)