bug-texinfo
[Top][All Lists]
Advanced

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

Re: Usefulness of menu directions


From: Gavin Smith
Subject: Re: Usefulness of menu directions
Date: Tue, 3 Jun 2025 23:01:47 +0100

On Tue, Jun 03, 2025 at 10:44:47PM +0200, Patrice Dumas wrote:
> > It would be better to report an error on the menu directly rather
> > indirectly through the menu directions.
> 
> On the whole menu, or on the menu entry?  It should not be too difficult
> to do on the menu entry or menu entry node, but on menu entry would need
> to add location information.

It could be either depending on what is easier to implement.



reply via email to

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