[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#40384: 26.3; [Windows10] variable-pitch-mode is slow to redraw
From: |
Eli Zaretskii |
Subject: |
bug#40384: 26.3; [Windows10] variable-pitch-mode is slow to redraw |
Date: |
Wed, 08 Apr 2020 18:38:41 +0300 |
> From: "Gennady Uraltsev" <gennady.uraltsev@gmail.com>
> Date: Wed, 8 Apr 2020 11:30:22 -0400
> Cc: 40384@debbugs.gnu.org
>
> 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.