On Wed, 2020-08-12 at 21:05 +0200, Petr Pařízek wrote:
> Richard wrote:
>
> > If you want to test this you need to re-start Denemo after
> changing the
> > preference "Menu Navigation by Keypress" so that the menus are
> updated.
>
> Thanks. Is this something that could possibly be changed in some kind
> of
> an ".ini" or a similar text file?
yes, the file is called denemorc and it is located in a directory
("folder") called .denemo-2.4.4 in your home directory.
In it you will find
<menunavigation>1</menunavigation>
where 1 means allow menu navigation by keyboard and 0 means disallow
it.
Richard