|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Marker | |
---|---|
org.gjt.sp.jedit | This package contains jEdit's core classes. |
Uses of Marker in org.gjt.sp.jedit |
---|
Methods in org.gjt.sp.jedit that return Marker | |
---|---|
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. |
Methods in org.gjt.sp.jedit that return types with arguments of type Marker | |
---|---|
java.util.Vector<Marker> |
Buffer.getMarkers()
Returns a vector of markers. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |