A suggestion is that Info should use some sort of Quit icon instead of the
delete, like for example
http://developer.gnome.org/doc/API/2.0/gtk/gtk-quit.png.That sounds good, if there is no copyright issue for the icon. Can we use it without a delay? _______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
