generic type User_Data_Type (<>) is private; with procedure Destroy (Data : in out User_Data_Type) is null; package Popup_For_Device_User_Data is
type Gtk_Menu_Position_Func is access procedure (Menu : not null access Gtk.Menu.Gtk_Menu_Record'Class; X : out Gint; Y : out Gint; Push_In : out Boolean; User_Data : User_Data_Type);
procedure Destroy
( | Data | : in out User_Data_Type) is null; |
procedure Popup_For_Device
( | Menu | : not null access Gtk.Menu.Gtk_Menu_Record'Class; |
Device | : access Gdk.Device.Gdk_Device_Record'Class; | |
Parent_Menu_Shell | : access Gtk.Widget.Gtk_Widget_Record'Class; | |
Parent_Menu_Item | : access Gtk.Widget.Gtk_Widget_Record'Class; | |
Func | : Gtk_Menu_Position_Func; | |
Data | : User_Data_Type; | |
Button | : Guint; | |
Activate_Time | : Guint32); |