gdk: improved GdkEvent type mapping