diff options
| -rw-r--r-- | pugl/detail/x11.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pugl/detail/x11.c b/pugl/detail/x11.c index 6f85215..3f43a8f 100644 --- a/pugl/detail/x11.c +++ b/pugl/detail/x11.c @@ -999,7 +999,7 @@ puglUpdate(PuglWorld* world, double timeout) if (timeout < 0.0) { st = puglPollX11Socket(world, timeout); st = st ? st : puglDispatchX11Events(world); - } else if (timeout == 0.0) { + } else if (timeout <= 0.001) { st = puglDispatchX11Events(world); } else { const double endTime = startTime + timeout - 0.001; |