On Friday, 19 October 2018 17.05.44 WEST Richard Kimberly Heck 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.
I have tested it with beamer where I usually use the filter. I can say that the weirdness is gone. :-) Thank you. -- José Abílio
