X11: fix for Mac OS X

2018-07-04 16:00:01 +02:00
parent 153363d52f
commit d0ac732d8e
2 changed files with 5 additions and 0 deletions
--- a/src/input.c
+++ b/src/input.c
@@ -1251,6 +1251,8 @@ int Get_input(int sleep_time)
    Input_new_mouse_Y = Mouse_Y;
    Input_new_mouse_K = Mouse_K;

+    if (X11_display == NULL)
+      return 0;
    XFlush(X11_display);
    while(!user_feedback_required && XPending(X11_display) > 0)
    {