diff options
| -rw-r--r-- | gdk/x11/gdkdevicemanager-xi2.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdk/x11/gdkdevicemanager-xi2.c b/gdk/x11/gdkdevicemanager-xi2.c index 2fd413c082..078a839bcf 100644 --- a/gdk/x11/gdkdevicemanager-xi2.c +++ b/gdk/x11/gdkdevicemanager-xi2.c @@ -353,7 +353,10 @@ get_device_ids (GdkDisplay *display, prop = XInternAtom (GDK_DISPLAY_XDISPLAY (display), "Device Product ID", True); if (prop == None) - return 0; + { + gdk_x11_display_error_trap_pop_ignored (display); + return 0; + } rc = XIGetProperty (GDK_DISPLAY_XDISPLAY (display), info->deviceid, prop, |