public interface BufferListener
Interface for listeners for changes of Buffer
contents.
Method Summary | |
---|---|
void |
linesAdded(int lines)
Some lines have been added to the buffer. |
void |
linesRemoved(java.util.List<Line> lines)
Some lines have been removed from the buffer. |
void |
linesReplaced(int lines)
Some lines have been replaced at the end of the buffer. |
Method Detail |
---|
void linesAdded(int lines)
lines
- The number of lines that have been added to the end of the
buffer.void linesRemoved(@NotNull java.util.List<Line> lines)
lines
- The lines that have been removed from the beginning of the
buffer.void linesReplaced(int lines)
lines
- The number of lines that have been replaced at the end of
the buffer.