gdk3: improve Gdk::Device#ungrab API