On Thu, May 10, 2018 at 05:25:22PM +0000, Jean-Marc Lasgouttes wrote:

> I see it now. Not sure what to do about it, though.

No problem, thanks for taking a look. I doubt it bothers anyone else. I
was thinking we might already have a mechanism for delaying the screen
refresh in such cases.

Scott

Attachment: signature.asc
Description: PGP signature

Reply via email to