Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit's core classes.
|
Modifier and Type | Method | 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 | Description |
---|---|---|
java.util.Vector<Marker> |
Buffer.getMarkers() |
Returns a vector of markers.
|