[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
bug#11656: 24.1.50; Info-\(next\|prev\)-reference: Add numeric prefix argument
Sun, 24 Jun 2012 16:15:52 +0100 (BST)
Juri Linkov <address@hidden> 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.
Is my second patch OK to commit?