key maping

Diederik van Arkel diederik@cs.kun.nl
Wed, 31 May 2000 08:53:06 +0200


> Hello clean-list and clean-developers,
> 
>       there is a small bag in CleanIDE. When I open "Windows.km" and
> press OK the "Windows.km" is applied with success but after exit and
> run againg CleanIDE all returns to the begining.
> 
 
To make a different keymapping the default keymapping it needs to be
named 'default.km'. If you do this and place the keymapping in the same
location as the CleanIDE then in future this new keymapping wil be used.
(this is described on page 9 of the manual)

Greetings,

Diederik van Arkel