Menu

#745 MarkerSets 0.7

closed
None
5
2011-08-12
2011-08-07
No

Paste the text below into the Plugin Central Submission Tracker at https://sourceforge.net/tracker/?group_id=588&atid=625093

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

{{{ MarkerSets 0.7
Source: Source code is in Git with the tag ver_0_7
Announcement: This release contains various bug fixes and enhancements.
Requires Java 1.6
Requires jEdit 04.04.01.00

Short Description: The MarkerSets plugin enables you to create named sets of markers from various files.

Long Description: The MarkerSets plugin enables you to maintain named sets of markers, where each set can contain markers from various files. The plugin has a dockable window where you can view or change the marker sets. Each marker set has an associated color which is used for painting its markers. Provides a replacement for jEdit's built-in Markers feature.
}}}

Discussion

  • Alan Ezust

    Alan Ezust - 2011-08-07
    • summary: MarketSets 0.7 --> MarkerSets 0.7
     
  • Townsfolk

    Townsfolk - 2011-08-12
    • assigned_to: nobody --> elberry
    • status: open --> closed
     
  • Townsfolk

    Townsfolk - 2011-08-12

    Released to Plugin Central.

     

Log in to post a comment.