> Menu item names in any other menu are often just a modified version > of the node name, so it makes sense to hide node names as e.g. in: [...] > Unlike this, index entry names contain no information about node names > to which they belong, and it is helpful to see them, e.g.:
Agreed,
Stefan
_______________________________________________
emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
