Get the task from the void* and execute it in the UI thread
| 28 | class gtk_scheduler_impl { |
| 29 | // Get the task from the void* and execute it in the UI thread |
| 30 | static gboolean callback(void* p) |
| 31 | { |
| 32 | async::task_run_handle::from_void_ptr(p).run(); |
| 33 | return FALSE; |
| 34 | } |
| 35 | |
| 36 | public: |
| 37 | // Convert a task to void* and send it to the gtk main loop |