[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: info

From: Richard Stallman
Subject: Re: info
Date: Sat, 01 Feb 2003 17:11:19 -0500

    I see at least three solutions that would be better than the algorithm
    you propose:

Any of these three might be good.

Another idea is that any blank line ends the menu item.
That would do the right thing in the examples you showed me,
and it may well be that there are no blank lines in the middle
of single menu items.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]