diff --git a/pd/src/s_inter.c b/pd/src/s_inter.c index e08494e92b68bb2814e40ff652cd608052d925b6..67347326a2fac901ebf8309ca3da6f7b799187e7 100644 --- a/pd/src/s_inter.c +++ b/pd/src/s_inter.c @@ -859,9 +859,9 @@ void sys_unqueuegui(void *client) int sys_pollgui(void) { - return (sys_domicrosleep(0, 1) || sys_poll_togui()); + // return (sys_domicrosleep(0, 1) || sys_poll_togui()); // "fix" for sluggish gui proposed by Miller on 12/16/2012 - // return (sys_domicrosleep(0, 1) + sys_poll_togui()); + return (sys_domicrosleep(0, 1) + sys_poll_togui()); }