I think it is worth noting that this does not happen in Ubuntu 18.10 or Fedora 29, which use gnome 3.30.