My observation is that line numbers are really not useful in 90% of cases and add unnecessary distraction to the content.
Suggestions:
- make
.no-line-numbers the default
- introduce
line-numbers option
- show line-numbers when using
markbind serve for development, allow forcefully hiding it with .no-line-numbers nevertheless
- introduce a
style.line-numbers global config key of sorts to ease the migration / suit user preferences
My observation is that line numbers are really not useful in 90% of cases and add unnecessary distraction to the content.
Suggestions:
.no-line-numbersthe defaultline-numbersoptionmarkbind servefor development, allow forcefully hiding it with.no-line-numbersneverthelessstyle.line-numbersglobal config key of sorts to ease the migration / suit user preferences