GNOME Bugzilla – Bug 637951
gdk_pointer_* and gdk_keyboard_* are not properly deprecated
Last modified: 2010-12-27 23:14:41 UTC
Also, seems that they are still used in GTK+ code
I think we've taken care of that now.