Ralf Angeli wrote: In the current version of the Emacs manual, "Detailed Node Listing" has the same font size as the other headings in the menus (at least on my system).
That is because of a second change Richard checked in yesterday. Sincerely, Luc. _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
