This looks good except that it will leak the event: <https://developer.gnome.org/gtk3/stable/gtk3-General.html#gtk-get-current-event>
« Back to merge proposal
This looks good except that it will leak the event: <https:/ /developer. gnome.org/ gtk3/stable/ gtk3-General. html#gtk- get-current- event>