On 4/26/07, Mohamed Magdy <mohamed.m.k(a)gmail.com> wrote:
<snip>
Would they be useful? The lines change depending
on window size,
screen resolution, font size, etc. so they couldn't be used to tell
another person which line a comment refers to.
<snip>
Are you sure about that? when you do a diff, it gives you a line number
(at which the changes occurred there) but when you go to the article,
you keep searching for it (at least what happens to me).. if there are
line numbers, it would be easy, just scroll to the line...
The source text file has lines, but the visible output is HTML
rendered and doesn't.
You can't predictively map from the input text to output display once
rendered; the browser can display it however it wants, and
particularly will vary with screen/window width and fonts.
--
-george william herbert
george.herbert(a)gmail.com