Re: Info menus on text-mode terminals

[Luc Teirlinck]

It is possible that the indentation problem in Info on text-only
terminals with `Info-hide-note-references' set to t was made worse by
a change I made (quite a while ago) to a change Stefan made to Kim's
original version.  But all three versions use the display property in
one form or another for indentation and hence, none of them would seem
to be able to work really well on text-only terminals.

Sincerely,

Luc.