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)