Re: [ jEdit-users ] jEdit 2.5pre2 now available

[Reinout v. S. <re...@cs...>]

Hi Slava,

On Wed, 10 May 2000, Slava Pestov wrote:

> - jEdit download is now about 500K smaller thanks to an improved installer
>   (if the installer breaks for anybody, it's probably because of this, so
>   please tell me!)

It works fine here.

> - New EditPaneUpdate message; getWhat() method returns one of the following:
>   EditPaneUpdate.CREATED (replaces ViewUpdate.TEXTAREA_CREATED)
>   EditPaneUpdate.DESTROYED (replaces ViewUpdate.TEXTAREA_DESTROYED)
>   EditPaneUpdate.BUFFER_CHANGED (replaces ViewUpdate.BUFFER_CHANGED)

Upon starting up, I get a
java.lang.NoSuchFieldError: org.gjt.sp.jedit.msg.ViewUpdate: field
TEXTAREA_CREATED not found

Also, the LineGuides plugin is broken in 2.5pre2. Opening the Plugins menu
causes lots of related exceptions. I've attached the activity log.

bye,
-- 

Reinout van Schouwen
e-mail    : re...@cs...
voicemail : 020-8750706