minimumLineNumberDigits property

int minimumLineNumberDigits
getter/setter pair

Minimum width reserved for line numbers.

Set this when an editor should not shift horizontally as its line count crosses a power-of-ten boundary. A value of zero sizes the gutter from the current line count.

Implementation

int minimumLineNumberDigits;