layout: improve/simplify line box error correction

The previous retrofitting of the old renderdocument error correction
usually worked, but it still had a horrible flaw in that it assumed that
all line boxes are of equal height. So if error was lower for some line
than another, it would move *all* lines by a somewhat lower error, and
that resulted in overlapping lines.

Now we do something much simpler: in flushLine, round each line's height
downwards before moving on to the next line. This gets rid of any blanks
inbetween lines, and also works much better with cleared floats.

1 files changed, 0 insertions, 3 deletions

diff --git a/todo b/todo
index 204f2bab..89ba6929 100644
--- a/todo
+++ b/todo
@@ -70,9 +70,6 @@ layout engine:
 - box borders
 	* will probably need special treatment, as borders must round to
 	  1ch in x direction and 1em in y direction.
-- fix conflict in renderdocument Y error correction and floats
-	* if too many line breaks are done because of floats, Y error
-	  correction will happily arrange the lines on top of the floating box
 - make table width calculation consistent with FF etc.
 	* unfortunately, most websites are designed for auto table layouts
 	  where w3m's space distribution algorithm does not work really well :/