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.