public static interface LineNumberConverter.Increasing extends LineNumberConverter
LineNumberConverter
whose LineNumberConverter.convert(Editor, int)
method
always produces monotonically increasing numbers.LineNumberConverter.Increasing
DEFAULT
Modifier and Type | Method and Description |
---|---|
default java.lang.Integer |
getMaxLineNumber(Editor editor)
Number which should be used to calculate width of line number area in gutter.
|
convert
default java.lang.Integer getMaxLineNumber(Editor editor)
LineNumberConverter
null
means no width will be allocated to the line number area.getMaxLineNumber
in interface LineNumberConverter