public interface LineNumberConverter
| Modifier and Type | Interface and Description |
|---|---|
static interface |
LineNumberConverter.Increasing
Specialization of
LineNumberConverter whose convert(Editor, int) method
always produces monotonically increasing numbers. |
| Modifier and Type | Field and Description |
|---|---|
static LineNumberConverter |
DEFAULT |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Integer |
convert(Editor editor,
int lineNumber)
Defines the number to be displayed in gutter for the given document line.
|
java.lang.Integer |
getMaxLineNumber(Editor editor)
Number which should be used to calculate width of line number area in gutter.
|
static final LineNumberConverter DEFAULT
java.lang.Integer convert(Editor editor, int lineNumber)
lineNumber - one-based line numbernull means no number is displayedjava.lang.Integer getMaxLineNumber(Editor editor)
null means no width will be allocated to the line number area.