[Top][All Lists]

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

Re: About the DEL trick

From: Gavin Smith
Subject: Re: About the DEL trick
Date: Mon, 26 Aug 2019 19:22:30 +0100

On Mon, Aug 26, 2019 at 3:52 PM Didier Verna <address@hidden> wrote:
> 3. Finally, I did a quick test of this feature (test file attached), and
> it seems to work fine with Texinfo 6.6, except for menus. The weird node
> is not clickable in the menu.

Thanks for testing this and sending the test file. I believe I've
fixed the issue in commit 14d7ee29f.

FWIW a while ago I suggested removing this feature (at the end of
But there has been no changes since then and there would be no rush to
remove it, especially if you find it useful.

reply via email to

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