added ZLTextPosition.compareToIgnoreChar()
Merge branch 'master' into highlighting
cleanup