[ jEdit-devel ] CommonControls plugin

[Marcelo V. <va...@us...>]

Hi there,

I have two questions about this plugin:

(i) Who's the current maintainer? I'd like to add a couple of classes to 
the plugin and I'd like to ask for the best way to organize a new 
release for when the plugins I want to release that use those classes 
are ready.

(ii) While compiling the plugin against jEdit 4.3 it complains about 
"DefaultInputHandler.parseKeyStroke()" not being there; the 4.2 docs say 
it's deprecated. Any idea on how to fix that? (I commented it out now 
since I'm not using it, but that's probably not the right solution.)

The line in question is PopupList.java:360.

-- 
Marcelo Vanzin
va...@us...
"Life is too short to drink cheap beer"