Can the line number content of the gutter be changed?
Instead of line number 1, 2, 3, 4, … I want to display 1.00, 2.00, 3.00, 4.00, … When a line is inserted after line 2.00 the new line is assigned number 2.01, and the line numbers of lines 3.00 to the end are unchanged.
You can use the lineNumberFormatter option to change the way line numbers are rendered, but you’ll need to use some external data structure to map document line numbers to your numbering schema (and update that data structure by listening to an event like "beforeChange").