diff --git a/client/displayservers/X11/x11.c b/client/displayservers/X11/x11.c index 683e1dc4..f8f4bf36 100644 --- a/client/displayservers/X11/x11.c +++ b/client/displayservers/X11/x11.c @@ -611,7 +611,7 @@ static int x11EventThread(void * unused) break; } - case PropertyNotify: + case PropertyNotify: // ignore property events that are not for us if (xe.xproperty.display != x11.display || xe.xproperty.window != x11.window ||