Source position: gtkicontheme.inc line 126
function gtk_icon_info_get_display_name(
icon_info: PGtkIconInfo
):Pgchar;