Function gnome_nhbell

outdated/win/gnome/gnbind.c:984–989

nhbell() -- Beep at user. [This will exist at least until sounds are redone, since sounds aren't attributable to windows anyway.] */

anyway.]
*/
void
gnome_nhbell()
{
    /* FIXME!!! Play a cool GNOME sound instead */
    gdk_beep();
}

/*
doprev_message()