| Package | Description |
|---|---|
| org.gjt.sp.jedit |
This package contains jEdit's core classes.
|
| Modifier and Type | Method and Description |
|---|---|
Marker |
Buffer.getMarker(char shortcut)
Returns the marker with the specified shortcut.
|
Marker |
Buffer.getMarkerAtLine(int line)
Returns the first marker at the specified line, or
null
if there is none. |
Marker |
Buffer.getMarkerInRange(int start,
int end)
Returns the first marker within the specified range.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Vector<Marker> |
Buffer.getMarkers()
Returns a vector of markers.
|