public class DisplayManager
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static void |
bufferClosed(JEditBuffer buffer) |
|
void |
collapseFold(int line) |
Collapses the fold at the specified physical line index.
|
void |
expandAllFolds() |
Expands all folds.
|
int |
expandFold(int line,
boolean fully) |
Expands the fold at the specified physical line index.
|
void |
expandFolds(char digit) |
This method should only be called from
actions.xml . |
void |
expandFolds(int foldLevel) |
Expands all folds with the specified fold level.
|
void |
expandFolds(int foldLevel,
boolean update) |
Expands all folds with the specified fold level.
|
JEditBuffer |
getBuffer() |
|
int |
getFirstVisibleLine() |
Returns the physical line number of the first visible line.
|
int |
getLastVisibleLine() |
Returns the physical line number of the last visible line.
|
int |
getNextVisibleLine(int line) |
Returns the next visible line after the specified line index,
or (-1) if there is no next visible line.
|
int |
getPrevVisibleLine(int line) |
Returns the previous visible line before the specified line index.
|
int |
getScreenLineCount(int line) |
Returns how many screen lines contains the given physical line.
|
int |
getScrollLineCount() |
Returns the number of displayable lines
It can be greater than the number of lines of the buffer when using
soft wrap (a line can count for n lines), or when using folding, if
the foldings are collapsed
|
boolean |
isLineVisible(int line) |
Returns if the specified physical line is visible.
|
boolean |
isOutsideNarrowing(int line) |
Returns true if the display is narrowed and the specified line is
outside of the narrowing.
|
void |
narrow(int start,
int end) |
Narrows the visible portion of the buffer to the specified
line range.
|
public static void bufferClosed(JEditBuffer buffer)
public JEditBuffer getBuffer()
public final boolean isLineVisible(int line)
line
- A physical line indexpublic boolean isOutsideNarrowing(int line)
line
- A physical line indexpublic int getFirstVisibleLine()
public int getLastVisibleLine()
public int getNextVisibleLine(int line)
line
- A physical line indexpublic int getPrevVisibleLine(int line)
line
- a physical line indexpublic final int getScreenLineCount(int line)
line
- the physical linepublic final int getScrollLineCount()
public void collapseFold(int line)
line
- A physical line indexpublic int expandFold(int line, boolean fully)
line
- A physical line indexfully
- If true, all subfolds will also be expandedpublic void expandAllFolds()
public void expandFolds(char digit)
actions.xml
.public void expandFolds(int foldLevel, boolean update)
foldLevel
- The fold levelupdate
- If true, notify the text area of a fold level change. Since this will
automatically move the caret if still inside a fold, this may not be what we want.public void expandFolds(int foldLevel)
foldLevel
- The fold levelpublic void narrow(int start, int end)
start
- The first lineend
- The last line