Subject: Re: bug#40384: 26.3; [Windows10] variable-pitch-mode is slow to redraw

From: Eli Zaretskii <[email-masked]>
Date: Wed, 08 Apr 2020 18:38:41 +0300

> From: "Gennady Uraltsev" <[email-masked]>
> Date: Wed, 8 Apr 2020 11:30:22 -0400
> Cc: [email-masked]
> 
> None of the suggested fixes have any impact. I just did a clean reinstall of
> my OS (Windows 10 Enterprise 10.0.18363 Build 18363) and the issue is
> present still. Should we try to investigate the issue? 

We probably should investigate, yes, but I don't know what else to
suggest.  Ideas welcome.