Function gtk_wait_handler

examples/gtk_scheduler.cpp:56–60

In order to ensure the UI is always responsive, you can disallow blocking calls in the UI thread. Note that the wait handler isn't called when the result of a task is already available, so you can still call .get() on a completed task. This is completely optional and can be omitted if you don't need it.

// completed task. This is completely optional and can be omitted if you don't
// need it.
void gtk_wait_handler(async::task_wait_handle)
{
	std::cerr << "Error: Blocking wait in UI thread" << std::endl;
	std::abort();
}

// Thread which increments the label value every ms
void label_update_thread(GtkLabel *label)