jEdit / Plugin Central Submission / #959 ErrorList 2.3

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

#959 ErrorList 2.3

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2014-10-21

Created: 2014-10-02

Creator: Alan Ezust

Private: No

{{{ ErrorList 2.3
Source: Source code is in SVN with the tag tags/ErrorList-2.3
Announcement: Context Menu Release
Plugin Feature Request #208: Copy errors to clipboard, either via right click menu, or by action menu. (Plugin Patch #163 - Tim Blackler)
Plugin Feature Request #312: Expand/Collapse All (Plugin Patch #164 - Tim Blackler)
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-10-21

Description has changed:

Diff:

--- old +++ new @@ -1,4 +1,3 @@ - {{{ ErrorList 2.3 Source: Source code is in SVN with the tag tags/ErrorList-2.3 Announcement: Context Menu Release

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:

ErrorList 2.3

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

Group

Searches

Help

#959 ErrorList 2.3

Discussion