Changing the settings of the keys

To define what happens if you press a key, you should go to the "Key settings" tab and select the key you want to configure from the list.

There are three options (see also figure 4.1) for what happens when the key is pressed:

Figure 4.1: Here you can select the action to perform when the key is pressed.
Image key_settings

Marvin 2006-07-25