public interface CaretListener
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
default void |
caretAdded(CaretEvent event)
Called when a new caret was added to the document.
|
default void |
caretPositionChanged(CaretEvent event)
Called when the caret position has changed.
|
default void |
caretRemoved(CaretEvent event)
Called when a caret was removed from the document.
|
default void caretPositionChanged(CaretEvent event)
Only explicit caret movements (caused by 'move' methods in Caret and CaretModel) are reported, 'induced' changes of
caret offset due to document modifications are not reported.
event - the event containing information about the caret movement.default void caretAdded(CaretEvent event)
default void caretRemoved(CaretEvent event)