The bug is still present in Ubuntu 18.10.
The upstream-bug-report has been migrated to gitlab:
https://gitlab.gnome.org/GNOME/gtk/issues/767
The bug is still present in Ubuntu 18.10.
The upstream-bug-report has been migrated to gitlab:
https:/ /gitlab. gnome.org/ GNOME/gtk/ issues/ 767