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.
|