Why <div> and not <ol>
Opened this issue · 4 comments
That would give us line numbering for free.
<div> was used originally to match Atom's HTML structure since it was important to allow themes to work there without changes. And since Atom has a separate gutter component, <div> is used there for all lines.
Ah OK, that makes sense. Well, no, but it is a good reason :)
On Mon, Feb 9, 2015 at 6:07 PM, Kevin Sawicki notifications@github.com
wrote:
was used originally to match Atom's HTML structure since it was important to allow themes to work there without changes. And since Atom has a separate gutter component,is used there for all lines.—
Reply to this email directly or view it on GitHub
#17 (comment).
Yeah, I'd be totally up for making this an option and having some sort of line number option available in this library.
well, you can do a CSS counter on the DIV element and generate the numbers
with CSS.
http://christianheilmann.com/2014/11/19/simple-things-styling-ordered-lists/
On Mon, Feb 9, 2015 at 6:59 PM, Kevin Sawicki notifications@github.com
wrote:
Yeah, I'd be totally up for making this an option and having some sort of
line number option available in this library.—
Reply to this email directly or view it on GitHub
#17 (comment).