Thank you for your bug report, the right place to do those changes is upstream though, could you report it to them on https://gitlab.gnome.org/GNOME/gtk/issues ?
Thank you for your bug report, the right place to do those changes is upstream though, could you report it to them on https:/ /gitlab. gnome.org/ GNOME/gtk/ issues ?