Source position: gnomemimeinfo.inc line 10
function gnome_mime_needsterminal(
mime_type: PAnsiChar;
key: PAnsiChar
):gboolean;