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.
}}}
Released to Plugin Central.