On Fri, Oct 19, 2018 at 12:36:51PM -0400, Scott Kostyshak wrote: > > I'm happy with whatever we settle upon. But Daniel had suggested that > > the underline is hard to see, and I agreed with him. I can barely see it > > at all. The bold at least makes it obvious what's happening, and it's > > helpful, so long as we're matching substrings and not just at the > > beginning. > > That makes sense. To be clear, I wasn't proposing to stay with only > underlining. I was proposing adding underlining in addition to bold.
Pushed at 73b1c658 since I didn't see any disagreement. Scott
signature.asc
Description: PGP signature