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.