Jo, genau, in die Konsole 'preferences' eingeben, dann öffnet sich ein Fenster in dem man dann das Untermenu 'Advanced' öffnen muss. Dort findet man dann 'Key Aliases' und 'Raw Key Bindings'. Da kann man alles wie in der user.ini direkt einstellen, hat aber den Vorteil das mans gleich ausprobieren kann
Außerdem finde ich das Einstellen der Aliases irgendwie komfortabler *g*