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

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

bug#11656: 24.1.50; Info-\(next\|prev\)-reference: Add numeric prefix ar


From: Christopher Schmidt
Subject: bug#11656: 24.1.50; Info-\(next\|prev\)-reference: Add numeric prefix argument
Date: Sun, 24 Jun 2012 16:15:52 +0100 (BST)

Juri Linkov <juri@jurta.org> writes:

> To choose a menu item by its number is possible by typing
> `1', `2', `3', ..., `9'.  But to help the user to select
> the right number, every third `*' in the menu is highlighted
> with the special face `info-menu-star'.
>
> I wonder if it's possible to use a similar indication for references?

Well, menu items a densely packed whereas regular cross references are
usually spread around the node.  I think this is not exactly helpful.

> In any case, I think your patch is useful.  If a node begins with the
> menu (so there are no references before the menu beginning), menu
> indications will help to give the right argument to
> `Info-next-reference' to arrive to the reference of the menu item.

Thank you.

Is my second patch OK to commit?

        Christopher





reply via email to

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