chiark / gitweb /
Display improvements to Range.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 1 Oct 2015 15:50:59 +0000 (17:50 +0200)
committerSimon Tatham <anakin@pobox.com>
Sat, 3 Oct 2015 16:12:01 +0000 (17:12 +0100)
commita79fc469516bd5bad28cf6ac025e25ffa20794d6
tree7fa3bcbd2da920529d36680c1da3cdcb05016c2b
parent8889fafb07d47ba359ad071789f340df866a0321
Display improvements to Range.

Make the grid look a lot less heavy; enhance highlighting of error
clues; highlight enclosed small regions much more prettily.
range.c