Open 1000TurquoisePogs opened 1 year ago
you can add rulers to the editor via
"rulers": [ 10, 80 ],
but, to have a ruler at the TOP doesnt seem possible?
If you had a top like so,
────┼────1────┼────2────┼────3────┼────4────┼────5────┼────6────┼────7────┼────8
That text can't be kept at the top, and read-only.
It seems like to make a ruler, it would require having a completely separate div above the editor, running the same font, and scrolling at the same time.
To work better with position-sensitive languages & files, as well as to make jumping to particular columns in fixed-width datasets, it would be good to have the following features: