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