[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] ui/gtk: Get display refresh rate with GDK version 3.22 or
|
From: |
Peter Maydell |
|
Subject: |
Re: [PATCH v2] ui/gtk: Get display refresh rate with GDK version 3.22 or later |
|
Date: |
Thu, 16 Jan 2020 15:13:00 +0000 |
On Thu, 16 Jan 2020 at 11:54, Philippe Mathieu-Daudé <address@hidden> 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