Source position: gnomeapphelper.inc line 110
function GNOMEUIINFO_MENU_SETTINGS_TREE(
tree: gpointer
):TGnomeUIInfo;