Line numbering in plaintext editor

Alex Vincent <[email protected]> Thu, 01 Feb 2007 23:47:12 -0800

Newsgroups	gmane.comp.mozilla.devel.editor
Message-ID	<[email protected]>

Currently, I notice the structure of a plaintext editor's content 
document resembles this:

<body>first line<br>second line<br>third line<br></body>

I was wondering if it would be feasible to make that:

<BODY style="margin: 0pt; font-family: -moz-fixed;">
<ol>
<li>first line</li>
<li>second line</li>
</ol>
</BODY>

for the plain text editor, using some attribute on the editor element.

I recall glazou mentioning he'd figured out line numbering a while ago. 
  I was hoping to see some progress on getting that back to the source tree.

Alex Vincent