1. 2004-01-22 Re: [ jEdit-users ] Tiny controls in plug-ins jedit-use Slava Pestov 2. 2004-01-21 [ jEdit-users ] Tiny controls in plug-ins jedit-use Matt Chaput