Source position: gnomeapphelper.inc line 91
function GNOMEUIINFO_MENU_PROPERTIES_ITEM(
cb: TGTKCallback;
data: gpointer
):TGnomeUIInfo;