void R_gtk_timerInputHandler(void *userData) { gchar buf[16]; //Rprintf("Input handler hit\n"); if (!read(ifd, buf, 16)) g_critical("Input handler failed to read from pipe"); //Rprintf("Handling events\n"); R_gtk_eventHandler(NULL); //Rprintf("Events handled\n"); fired = 0; }
VOID CALLBACK R_gtk_timer_proc(HWND hwnd, UINT uMsg, UINT_PTR idEvent, DWORD dwTime) { R_gtk_eventHandler(NULL); }
void R_gtk_handle_events() { R_gtk_eventHandler(NULL); }