jEdit / Plugin Central Submission / #944 ErrorList 2.2

#944 ErrorList 2.2

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2014-08-17

Created: 2014-04-21

Creator: Alan Ezust

Private: No

{{{ ErrorList 2.2
Source: Source code is in SVN with the tag ErrorList-2.2
Announcement: Revisited #3596333: Preserve contents when floating/docking.
FileOpenerService is now being used in the correct way by ErrorList.
Requires Java 1.6
Requires jEdit 05.00.99.00

Short Description: The ErrorList plugin provides one-click access, and on-the-spot highlighting of errors generated by EditBus-aware packages, such as the Console.

Long Description: <html>

The ErrorList plugin provides one-click access, and on-the-spot highlighting of errors generated by EditBus-aware packages, such as the Console.

}}}

Discussion

Townsfolk - 2014-05-11

status: open --> closed-accepted

assigned_to: Townsfolk
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2014-05-11

released to plugin central

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

ErrorList 2.2

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#944 ErrorList 2.2

Discussion