|
|
|||||
| MarkerSets | |
|---|---|
| Description: | The MarkerSets plugin enables the creation of several named sets of markers. Each set can include markers on various files, including files that are not open in jEdit. Each set may have its own color for the markers in the gutter. The marker sets are persistent, and in addition, there are actions for exporting the marker sets to XML and importing them from XML. The plugin provides a dockable for viewing and managing the marker sets. The marker sets are shown in a configurable tree, somewhat similar to the HyperSearch Results dockable. |
| Author: | Shlomy Reinstein |
| Category: | Support |
| Version: | 0.9 |
| Requirements: | JDK >= 1.6 · jEdit >= 4.5.0 |
| Binary Download: |
MarkerSets-0.9-bin.tgz MarkerSets-0.9-bin.zip |
| Complete Download: |
MarkerSets-0.9.tgz MarkerSets-0.9.zip |
| Release Date: | May 22, 2012 |
| Version: | 0.7 |
| Requirements: | JDK >= 1.6 · jEdit >= 4.4.1 |
| Binary Download: |
MarkerSets-0.7-bin.tgz MarkerSets-0.7-bin.zip |
| Complete Download: |
MarkerSets-0.7.tgz MarkerSets-0.7.zip |
| Release Date: | August 12, 2011 |
| Version: | 0.3 |
| Requirements: | JDK >= 1.5 · jEdit >= 4.3pre16 |
| Binary Download: |
MarkerSets-0.3-bin.tgz MarkerSets-0.3-bin.zip |
| Complete Download: |
MarkerSets-0.3.tgz MarkerSets-0.3.zip |
| Release Date: | August 13, 2009 |
