-// prevent interface items from getting bogus XInput events
-gboolean filter_extended_events (GtkWidget *widget, GdkEvent *event,
- gpointer user_data)
-{
- // prevent scrollbars from reacting to XInput events
- if (event->type == GDK_MOTION_NOTIFY &&
- event->motion.device != gdk_device_get_core_pointer())
- return TRUE;
- if ((event->type == GDK_BUTTON_PRESS || event->type == GDK_2BUTTON_PRESS ||
- event->type == GDK_3BUTTON_PRESS || event->type == GDK_BUTTON_RELEASE) &&
- event->button.device != gdk_device_get_core_pointer())
- return TRUE;
- return FALSE;
-}
-