https://issues.apache.org/bugzilla/show_bug.cgi?id=43166

--- Comment #3 from Simon Pepping <[email protected]> 2010-12-22 13:39:40 EST 
---
The patch works of course, but it looks a bit like magic. I would like to dig
deeper into this. I am surprised that the actual value of the index makes such
a difference. It would be helpful if you would indicate:

1. where in the code the border is added or not added to the result page,
depending on the value of the index;

2. where in the code the knuth element is replaced instead of being added.

-- 
Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.

Reply via email to