public class RenderState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private boolean |
canScrollDown
Whether scrolling down is possible.
|
private boolean |
canScrollUp
Whether scrolling up is possible.
|
private int |
height
The height of the viewable area.
|
private boolean |
mustRepaint
Whether the view has to be repainted even if no other value has changed.
|
private int |
scrollPos
The location of the view area relative to the buffer's total height.
|
private java.lang.Object |
sync
Synchronization object for accesses to all fields.
|
private int |
topIndex
The first line to display in the viewable area.
|
private int |
topOffset
The number of pixels to shift the first displayed line (
topIndex . |
Constructor and Description |
---|
RenderState() |
Modifier and Type | Method and Description |
---|---|
boolean |
canScrollDown()
Returns whether scrolling down is possible.
|
boolean |
canScrollUp()
Returns whether scrolling up is possible.
|
int |
getScrollPos()
Returns the location of the view area in pixels.
|
int |
getTopIndex()
Returns the index of the first line to display.
|
int |
getTopOffset()
Returns the number of pixels to shift the first displayed line.
|
void |
linesAdded(Buffer buffer)
Some lines have been added to the buffer.
|
void |
linesRemoved(Buffer buffer,
java.util.Collection<Line> lines)
Some lines have been removed from the buffer.
|
void |
linesReplaced(Buffer buffer)
Some lines have been replaced at the end of the buffer.
|
boolean |
mustRepaint()
Returns whether the view should be repainted even if no other values have
changed.
|
void |
scrollTo(Buffer buffer,
int y)
Scrolls to the given pixel location.
|
void |
scrollToBottom(Buffer buffer)
Sets the view area to the bottom-most value.
|
void |
setHeight(Buffer buffer,
int h)
Sets the the viewable height in pixel.
|
private boolean canScrollDown
private boolean canScrollUp
private int height
private boolean mustRepaint
private int scrollPos
@NotNull private final java.lang.Object sync
private int topIndex
topOffset
pixels.private int topOffset
public boolean canScrollDown()
public boolean canScrollUp()
public int getScrollPos()
public int getTopIndex()
public int getTopOffset()
public void linesAdded(@NotNull Buffer buffer)
buffer
- the displayed bufferpublic void linesRemoved(@NotNull Buffer buffer, @NotNull java.util.Collection<Line> lines)
buffer
- the displayed bufferlines
- the number of lines that have been removepublic void linesReplaced(@NotNull Buffer buffer)
buffer
- the displayed bufferpublic boolean mustRepaint()
false
in the second call (if no other changes happen
concurrently).public void scrollTo(@NotNull Buffer buffer, int y)
buffer
- the displayed buffery
- the new locationpublic void scrollToBottom(@NotNull Buffer buffer)
buffer
- the displayed bufferpublic void setHeight(@NotNull Buffer buffer, int h)
buffer
- the displayed bufferh
- the viewable height