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