This upstream bug:
https://gitlab.gnome.org/GNOME/gtk/-/issues/539
mentions double clicking. And that bug is linked from bug 1698083. So I will generalize this into bug 1698083.
This upstream bug:
https:/ /gitlab. gnome.org/ GNOME/gtk/ -/issues/ 539
mentions double clicking. And that bug is linked from bug 1698083. So I will generalize this into bug 1698083.