On Wed, Mar 04, 2020 at 10:11:44PM -0800, Michael Forney wrote: > https://gitlab.gnome.org/GNOME/gtk/merge_requests/1295 was merged > and released in GTK+ 3.24.14, so this is no longer necessary. Thanks, committed! Thomas