public interface BufferListener
extends java.util.EventListener
Buffer
contents.Modifier and Type | Method and Description |
---|---|
void |
lineAdded()
A line has been added to the buffer.
|
void |
lineReplaced()
A line has been replaced at the end of the buffer.
|
void |
linesRemoved(@NotNull java.util.List<Line> lines)
Some lines have been removed from the buffer.
|
void lineAdded()
void lineReplaced()
void linesRemoved(@NotNull @NotNull java.util.List<Line> lines)
lines
- the lines that have been removed from the beginning of the
buffer