Re: Info menus on text-mode terminals

[Miles Bader]

Luc Teirlinck <address@hidden> writes:
> Yes, but it would have severe negative effects, as I already pointed
> out in the previous discussion.  The current implementation of
> Info-hide-note-references and related features is fundamentally flawed
> because it tries to reformat Info files as if they were written in a
> mark up language.

Whether or not it's a good idea to reformat text is orthogonal to
whether or not it's a good idea to use display properties to do it.

-Miles
-- 
Freedom's just another word, for nothing left to lose   --Janis Joplin