chiark / gitweb /
Improve connectedness-error highlighting in Range.