|
|
|
|
|
|
by yellowapple
4134 days ago
|
|
|
I understand the author's point-of-view on this, but disabling line numbers sounds like something that should be user-controllable. Right now it feels like a misfeature, whereas "we don't implement line numbers by default, but if you want them, do this and that and you can have them" would feel way more like a good feature to have. |
|
|
https://groups.google.com/d/msg/highlightjs/UVJaQcQNC1c/1C6U...