W3C home > Mailing lists > Public > www-amaya@w3.org > October to December 2007

Re: keyboard customizations?

From: Irene Vatton <vatton@inrialpes.fr>
Date: Thu, 18 Oct 2007 09:22:18 +0200
To: Cay Horstmann <cay@horstmann.com>
Cc: www-amaya@w3.org
Message-Id: <200710180922.18165.vatton@inrialpes.fr>

On Wednesday 17 October 2007 21:45, Cay Horstmann wrote:
> Is there a per-user keyboard customization? I know I can edit
> /usr/lib/Amaya/config/amaya.keyboard, but that gets overwritten
> everytime I install a new version. Can I put some file into ~/.amaya
> that is merged with the standard configuration (with my keystrokes
> taking precedence, of course :-))?
>
> Thanks,
>
> Cay

The solution is to get a copy of usr/lib/Amaya/config/amaya.keyboard into 
~/.amaya. Amaya will use your amaya.keyboard instead of the standard file.
     Irène.
-----
Irène Vatton                     INRIA Rhône-Alpes
INRIA                               ZIRST
e-mail: Irene.Vatton@inria.fr       655 avenue de l'Europe
Tel.: +33 4 76 61 53 61             Montbonnot
Fax:  +33 4 76 61 52 07             38334 Saint Ismier Cedex - France
Received on Thursday, 18 October 2007 07:24:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 April 2014 11:01:47 UTC