#833 MarkerSets 0.9

closed
None
5
2012-05-22
2012-05-12
No

{{{ MarkerSets 0.9
Source: Source code is in GIT with the tag ver_0_9
Announcement: Version 0.9
Displaying the marker under mouse in status bar. (request #3451543)
Fixed bug #3455360: disabled duplicate shortcuts.
Immediate update of the dockable when a shortcut of a marker is changed.
Made setting and going to a marker recordable by macro recorder. (request #3421071)
Allowed for macros with marker shortcuts (patch #3444424 Jarek Czekalski)
Requires Java 1.6
Requires jEdit 04.05.99.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

  • Townsfolk

    Townsfolk - 2012-05-22
    • assigned_to: nobody --> elberry
    • status: open --> closed
     
  • Townsfolk

    Townsfolk - 2012-05-22

    Released to Plugin Central.

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks