I plan to install the changes in the message I am replying to if nobody objects and no new bug reports surface about the new mouse-face on mode line functionality. (All that the proposed changes do is add the mode-line-highlight mouse-face to additional places for which it makes sense.) I will wait at least another day.
Sincerely, Luc. _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
