Hello JEdit developers

I am trying to develop a plugin and have at the moment the following problem. My plugin needs to intercept key events sent to the main jedittextarea and remove some keypress events when they are not appropriate (say that the user types "t" and I don't won't that letter to appear in the jedittextarea). My plugin at the moment does receive key events, it can interact with the jedittextarea, but cannot suppress keypress actions, even if I invoke the consume method in a custom key listener and put this one in first place in the keylistener list.

I know how to do this with the conventional javax.swing.jtextarea but found no way to do solve the problem without modifying the jedit sourcecode.

How can I prevent a jedittextarea to type certain letters at certain moments?

Btw, I don't think that using keystrokes is a good solution since I ought to make continuous changes to existing key bindings.

Thanks in advance

Jorge