Re: [PATCH v2] ui/gtk: Get display refresh rate with GDK version 3.22 or later

[Peter Maydell]

On Thu, 16 Jan 2020 at 11:54, Philippe Mathieu-Daudé <phi...@redhat.com> wrote:
>
> Commit c4c00922cc introduced the use of the GdkMonitor API, which
> was introduced in GTK+ 3.22:
> https://developer.gnome.org/gdk3/stable/api-index-3-22.html#api-index-3.22
>
> Unfortunately this break building with older versions, as on Ubuntu
> Xenial which provides GTK+ 3.18:

Thanks; applied to master as a travis buildfix.

-- PMM