Source position: gtkmenufactory.pp line 12
type TGtkMenuCallback = procedure(
widget: PGtkWidget;
user_data: gpointer
);