On Mon, Feb 11, 2013 at 10:37 PM, Robert O'Callahan
<rob...@ocallahan.org> wrote:
>
> Couldn't you just make it a pointer into the text of the style sheet? Then
> an auxiliary data structure could be used to quickly extract a line number
> given such a pointer. (E.g. for each 256 byte boundary in the style sheet,
> store the line number at that boundary.)

That's fine so long as you don't have the equivalent of C's #line
defines.  I don't know if CSS has them but JavaScript does (in source
maps) which makes things much more difficult.

Nick
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo

Reply via email to