[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