public interface ScrollingModel
Editor.getScrollingModel()
Modifier and Type | Method and Description |
---|---|
void |
addVisibleAreaListener(VisibleAreaListener listener) |
void |
disableAnimation() |
void |
enableAnimation() |
int |
getHorizontalScrollOffset() |
int |
getVerticalScrollOffset() |
java.awt.Rectangle |
getVisibleArea() |
java.awt.Rectangle |
getVisibleAreaOnScrollingFinished() |
void |
removeVisibleAreaListener(VisibleAreaListener listener) |
void |
runActionOnScrollingFinished(java.lang.Runnable action) |
void |
scroll(int horizontalOffset,
int verticalOffset) |
void |
scrollHorizontally(int scrollOffset) |
void |
scrollTo(LogicalPosition pos,
ScrollType scrollType) |
void |
scrollToCaret(ScrollType scrollType) |
void |
scrollVertically(int scrollOffset) |
java.awt.Rectangle getVisibleArea()
java.awt.Rectangle getVisibleAreaOnScrollingFinished()
void scrollToCaret(ScrollType scrollType)
void scrollTo(LogicalPosition pos, ScrollType scrollType)
void runActionOnScrollingFinished(java.lang.Runnable action)
void disableAnimation()
void enableAnimation()
int getVerticalScrollOffset()
int getHorizontalScrollOffset()
void scrollVertically(int scrollOffset)
void scrollHorizontally(int scrollOffset)
void scroll(int horizontalOffset, int verticalOffset)
void addVisibleAreaListener(VisibleAreaListener listener)
void removeVisibleAreaListener(VisibleAreaListener listener)