From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 5 Oct 2017 08:16:08 +0000 (+0200)
Subject: Provide wrapper for gtk_menu_popup_at_pointer.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c1f04750c4430bf3e7f0630842f879ee695b947d;hp=c1f04750c4430bf3e7f0630842f879ee695b947d;p=pspp

Provide wrapper for gtk_menu_popup_at_pointer.

This should keep older versions of Gtk+ happy.  Tested on Gtk+-3.18
---