]> asedeno.scripts.mit.edu Git - PuTTY.git/search
GTK3 port: use gdk_device_grab() in gtkask.c.