Re: [PATCH 0/3] ui/gtk: paper over a gtk bug on Windows

[Gerd Hoffmann]

On Sun, Dec 13, 2020 at 05:56:28PM +0100, Volker Rümelin wrote:
> Patch dc26435edb "ui/gtk: Update refresh interval after widget
> is realized" exposed a bug in gtk on Windows. The monitor refresh
> rate reported by gtk may be much smaller than the real refresh
> rate leading to an unusable guest screen refresh rate.

Added to ui patch queue.

thanks,
  Gerd