Customizing keys

[John Pettigrew]

In a previous message, Jasper Huijsmans <jasper at moongroup.com> wrote:

> Perhaps use the word 'dialog'?
> 
> "Then open the window manager settings dialog, go to the 'keyboard and
> focus' tab and choose your new key theme."

That would be clearer, probably. I'm just not used to it being so configurable
- I tend to expect either global config only or local over-ride, not multiple
local themes!

As a matter of interest, does anyone really use multiple key themes?

John
-- 
John Pettigrew                         Headstrong Games
john at headstrong-games.co.uk            Fun : Strategy : Price
http://www.headstrong-games.co.uk/     Board games that won't break the bank
Valley of the Kings: ransack an ancient Egyptian tomb but beware of mummies!