I think that is a bug--please do fix it. What about the following patch, which fixes the problem? I can install if desired.
It looks clean to me. _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel