com.jidesoft.editor.marker
Class Marker
java.lang.Object
com.jidesoft.marker.Marker
com.jidesoft.editor.marker.Marker
Deprecated. please use com.jidesoft.marker.Marker.
@Deprecated
public class Marker
- extends Marker
Marker
represents a range of text in code editor used by the MarkerModel
. It
has a start offset and an end offset. By default, there are two types of markers - error and warning. But you can
always define your own types of markers. You can also associate a tooltip with a marker. The tooltip will be shown
when user mouse moves over the marker stripe.
Fields inherited from class com.jidesoft.marker.Marker |
PROPERTY_ENABLED, PROPERTY_END_OFFSET, PROPERTY_START_OFFSET, PROPERTY_TOOLTIP_TEXT, PROPERTY_TYPE, TYPE_CUSTOM_STYLE, TYPE_ERROR, TYPE_MANDATORY_WARNING, TYPE_NOTE, TYPE_OTHER, TYPE_WARNING |
Constructor Summary |
Marker(int startOffset,
int endOffset,
int type,
String tooltip)
Deprecated. |
Methods inherited from class com.jidesoft.marker.Marker |
addPropertyChangeListener, firePropertyChange, getEndOffset, getPropertyChangeListeners, getStartOffset, getToolTipText, getType, isEnabled, removePropertyChangeListener, setEnabled, setEndOffset, setStartOffset, setToolTipText, setType, toString |
Marker
public Marker(int startOffset,
int endOffset,
int type,
String tooltip)
- Deprecated.