FYI: for me this seems to be fixed in Disco with gnome-shell 3.32.0-1ubuntu1 but another problem has surfaced when restarting gnome-shell: bug 1819890
FYI: for me this seems to be fixed in Disco with gnome-shell 3.32.0-1ubuntu1 but another problem has surfaced when restarting gnome-shell: bug 1819890