[Htmlparser-developer] Page.getLine() seems broken.

[Matthew B. <mat...@co...>]

Page.getLine always seems to return the previous line. Attached are some 
  tests that show this. It seems that the documentation on PageIndex 
says it should be the index the the first character of the line but it 
is actually set as being the position of the newline.

I've attached a fix to Page.getLine() that makes it work but I don't 
know if the correct fix change PageIndex so that the index of the start 
of the line is put in it instead.

-- 
+--Matthew Buckett-----------------------------------------+
| VLE Developer, Learning Technologies Group               |
| Tel: +44 (0) 1865 283660 http://www.oucs.ox.ac.uk/       |
+------------Computing Services, University of Oxford------+