A slightly improved version of the former: don't use `$.map` and instead modify the lines array in-place.
This should be a bit faster.
Authored by: cboos 2008-05-08
Parent: [r7030]
Child: [r7032]