Re: Info menus on text-mode terminals

[Richard Stallman]

    Richard seems to believe that there is some hope to make "space" work
    on ttys for integer spacing values.

I am sure it can be done, if someone wants to implement it.  Since it
only needs to generate the proper number of space glyphs, much as a
tab character does, it can't be too hard.  The hardest part is
learning to understand the code that recognizes text properties, if
you don't already know it.  (I don't.)

Gerd, you know how text properties are recognized.  Could you do this?