java.lang.Object com.realtime.crossfire.jxclient.gui.log.RenderState
public class RenderState
Encapsulates the state for a scroll bar. The first line shown is the line
index topIndex
. If topOffset
is non-zero, it should be
shifted by this number of pixels. The current scrolling position is scrollPos
.
Field Summary | |
---|---|
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 Summary | |
---|---|
RenderState()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
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
topIndex
. Positive values shift up, negative shift down. It's value is
either between zero and less than the height of line topIndex
,
or it is negative if the rendered buffer does not contain enough lines to
fill the view area.
Constructor Detail |
---|
public RenderState()
Method Detail |
---|
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