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

keyboard customizations?

From: Cay Horstmann <cay@horstmann.com>
Date: Wed, 17 Oct 2007 12:45:45 -0700
Message-ID: <47166669.2010308@horstmann.com>
To: www-amaya@w3.org

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 :-))?




Cay S. Horstmann | http://horstmann.com | mailto:cay@horstmann.com
Received on Wednesday, 17 October 2007 19:46:09 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:54 UTC