Eh? None of the plugins install key bindings, except for the XML
plugin which binds some special actions to the <, /, > and & keys.
Looks like a misconfiguration on your part.
On Wed, Oct 17, 2001 at 10:58:13AM +0200, Stefan Radig wrote:
> Hello all,
> recently I updated my jEdit plugins to their newest versions and installed some new plugins.
> When I restarted jedit some of my key bindings did no longer work:
> - ctrl + g
> - ctrl + x
> I looked into the configuration dialog and found out that some plugin(s) installed those two keys as prefixes for other keys. Unfortunately I was in a hurry and just removed the bindings, so I do not know which ones I
> removed. As the old bindings where still there but only non-functional, everything was fine again after the removal.
> I think plugins should not install key bindings at all. At least a plugin should check if those bindings are already used in some way before installing them - or the jEdit core should prevent this for plugins, too.
> I have installed almost all plugins, so I have no idea which one(s) caused the problem. Sorry. But I think the authors of plugins which do install key bindings should check this.
> jEdit Developers' List