[ jEdit-devel ] [ jedit-Plugin Central Submission-1312368 ] ErrorList 1.4

[SourceForge.net <no...@so...>]

Plugin Central Submission item #1312368, was opened at 2005-10-03 17:16
Message generated for change (Settings changed) made by jchoyt
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1312368&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: 2005-11-01
>Status: Closed
Priority: 5
Submitted By: Alan Ezust (ezust)
Assigned to: Jeffrey Hoyt (jchoyt)
Summary: ErrorList 1.4

Initial Comment:
Version 1.4. requires jEdit 4.2final.
Add option to close error list after no errors remain
(Gerd Knops).
Option "Automatically display on error" no longer
causes ErrorList to request the focus, so that the
cursor stays in the edit pane (Dirk Moebius).

Small patches to update to 4.3 API.

All in CVS.


----------------------------------------------------------------------

Comment By: Jeffrey Hoyt (jchoyt)
Date: 2005-10-05 21:16

Message:
Logged In: YES 
user_id=396194

packaged and uploaded, but didn't see the option mentioned
in the option pane.  Is there something missing or can I
close this out?

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1312368&group_id=588