Juri Linkov <[EMAIL PROTECTED]> writes: >>> As Jury corrected me, the problem is not with supporting the new >>> format, the problem was that menus in the indices were not decorated >>> as normal menus since long ago. >>> >>> I agree that we should consider revising this decision now, that the >>> machines are so much faster. >> >> OK; I turned it on. > > Simply turning this on has an undesirable consequence that node names > are now hidden in the index node, but it is very useful to see them! > This is because index entries are not like normal links where nodes name > are not very essential. I propose the following patch that doesn't hide > node names of the index entries while keeping index entries displayed > as links (blue and underlined).
Good idea. _______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
