bug-gnu-emacs
[Top][All Lists]
Advanced

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

bug#36767: 26.1; request: add more quick keys to the *Help* buffer


From: martin rudalics
Subject: bug#36767: 26.1; request: add more quick keys to the *Help* buffer
Date: Sun, 26 Sep 2021 11:11:22 +0200

> I fixed up your patch so that it works more reliably, but then I
> remembered why I didn't add the link: We don't know at this point
> whether the symbol in question is documented in the manual.  Adding a
> link to something that fails is bad UI.  And we can't check whether the
> symbol exists in the manual when generating the *Help* buffer, because
> it's slow, and the trade-off (making the command slow versus an extra
> link) is not a good one.

It would be nice to have an etags-like tool that produces a table of all
symbols documented in installed manuals.

martin





reply via email to

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