public static interface LineNumberConverter.Increasing extends LineNumberConverter
LineNumberConverter whose LineNumberConverter.convert(Editor, int) method
always produces monotonically increasing numbers.LineNumberConverter.IncreasingDEFAULT| 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.
|
convertdefault java.lang.Integer getMaxLineNumber(Editor editor)
LineNumberConverternull means no width will be allocated to the line number area.getMaxLineNumber in interface LineNumberConverter