[ jEdit-devel ] Re: CheckStylePlugin

[Oliver E. <ol...@ep...>]

Hi Jeff, all !

Jeffrey Hoyt schrieb:

>Oliver,
>
>Please enter this into Plugin Central:
>
(Excuse for the delay, I was off for a few days, setting up our new 
server rack.)
I do that ASAP.

>You'll probably also want to get it into the CVS repository, if that's 
>possible.  You can request to be added to the project on the jedit-devel 
>mailing list.
>  
>
It is ! I hereby request to be added to the jedit project :)

thanks
- Oliver

btw: Thanks for informing me 'bout the decrease/increase font macros !
It's a nice feature :)))