refactoring (compute hilites one time per page)
added ZLTextPosition.compareToIgnoreChar()