| java.lang.Object org.gjt.sp.jedit.textarea.FastRepaintManager
FastRepaintManager | class FastRepaintManager (Code) | | Manages blitting the offscreen graphics context to speed up scrolling.
The text area does not use Swing's built-in double buffering, so that
we have access to the graphics context for fast scrolling.
author: Slava Pestov version: $Id: FastRepaintManager.java 7156 2006-10-02 21:33:17Z kpouer $ |
Inner Class :static class RepaintLines | |
setFastScroll | void setFastScroll(boolean fastScroll)(Code) | | |
updateGraphics | void updateGraphics()(Code) | | |
|
|