Don't hide menus

[Scott Kostyshak]

On Sat, Oct 14, 2023 at 05:40:20PM +0200, Jean-Marc Lasgouttes wrote:
> Le 14/10/2023 à 14:27, Jürgen Spitzmüller a écrit :
> > Am Samstag, dem 14.10.2023 um 14:18 +0200 schrieb Jean-Marc Lasgouttes:
> > > Look at the screenshot here :
> > > https://wiki.ubuntu.com/Unity/HUD
> > 
> > Thanks. So in simpler words, a search field for menu items.
> 
> Right. And in practice it is also a great tool for experienced users,

I agree that experienced users is the intended audience.

> because this can be used as keyboard shortcuts (with time you know which 3
> letters will trigger the right action).
> 
> We could also experiment adding labels or citation keys in there (to insert
> references) or maybe section names (to go quickly to some place).

I think a HUD could be useful and I'd be interested in using it.

Scott
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20231014/c70df7ba/attachment.asc>