On Wed, 26 Apr 2017 08:48:13 +0300 Eli Zaretskii via Unicode <[email protected]> wrote:
> > Date: Sun, 23 Apr 2017 22:59:49 +0100 > > From: Richard Wordingham <[email protected]> > > Cc: Eli Zaretskii <[email protected]> > > > > If I search for CGJ, highlighting it is frequently supremely > > useless. I want to know where it is; highlighting is merely a tool > > to find it on the screen. > > So I guess this means highlighting is useful after all ;-) á©șNot if the area highlit is zero pixels wide. Richard.

