Re: [ jEdit-devel ] Jedit and some symbols

[Slava P. <sl...@je...>]

Paul Libbrecht wrote:
> I'd like to tackle this one day, Slava, if you could provide a basic 
> overview or point of how key-handling works in jEdit, it would help!

Its a bit convoluted but nothing too spectacular.

A key event is either received by JEditTextArea.processKeyEvent(), or 
View.processKeyEvent(). Then, KeyEventWorkaround.processKeyEvent() 
filters some useless events, and KeyEventTranslator.translateKeyEvent() 
transforms it into a canonical form that masks various JVM differences. 
This is then passed on to InputHandler.handleKey(); the specific 
subclass of InputHandler (usually DefaultInputHandler) then looks up the 
key in the map of actions, and executes the action.

Slava