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