[ jEdit-devel ] Re: [ jEdit-users ] jEdit 4.2pre2 now available

[Brad M. <mac...@mr...>]

This is going to be awesome once all the plugins are updated for the API 
changes.  People that wait for 4.2 final to upgrade aren't going to know 
what hit them.

I thought the plan was to have the Console plugin updated along with 
4.2pre2?  I'm sure you've got it under control though.

>- Fold visibility information is now stored in a more efficient manner.
>  Folding should be faster and more robust. Also, the limit of 8 text
>  areas editing the same buffer has been lifted.
>  
>
I am deeply, truly scared of any source file that needs to be open in 
more than 8 text areas.  ;-) Maybe if you're maintaining the phone system?

Brad