| java.lang.Object org.gjt.sp.jedit.textarea.ScreenLineManager
ScreenLineManager | class ScreenLineManager (Code) | | Performs the Mapping between physical lines and screen lines.
since: jEdit 4.3pre1 author: Slava Pestov version: $Id: ScreenLineManager.java 10273 2007-08-01 21:20:45Z kpouer $ |
contentInserted | public void contentInserted(int startLine, int numLines)(Code) | | |
contentRemoved | public void contentRemoved(int startLine, int numLines)(Code) | | |
getScreenLineCount | int getScreenLineCount(int line)(Code) | | Returns how many screen lines contains the given physical line.
It can be greater than 1 when using soft wrap
Parameters: line - the physical line the screen line count |
invalidateScreenLineCounts | void invalidateScreenLineCounts()(Code) | | |
isScreenLineCountValid | boolean isScreenLineCountValid(int line)(Code) | | |
setScreenLineCount | void setScreenLineCount(int line, int count)(Code) | | Sets the number of screen lines that the specified physical line
is split into.
Parameters: line - the line number Parameters: count - the line count (1 if no wrap) |
|
|