Pass the actual event button to gtk_menu_popup()
commit653990c01137342d5ca1776662594fe976702992
authorColomban Wendling <ban@herbesfolles.org>
Sat, 20 Feb 2016 14:24:45 +0000 (20 15:24 +0100)
committerJiří Techet <techet@gmail.com>
Thu, 25 Feb 2016 23:05:22 +0000 (26 00:05 +0100)
tree732da41b4ec496550b5f5b9eb9c7ac4da157cd6d
parenta168f69887ce29345d6592b8df566629f014ed7f
Pass the actual event button to gtk_menu_popup()

In case it's actually useful.  Also properly free the GdkEvent returned
by gtk_get_current_event().
src/symbols.c