You can use the formatNumber
option to lineNumbers
to display the numbers in the gutter differently. But you can’t change the way the document is indexed internally.
You can use the formatNumber
option to lineNumbers
to display the numbers in the gutter differently. But you can’t change the way the document is indexed internally.