Thanks for the bug report. I can't seem to find any existing reports of this problem. Please:
1. Make sure the bug still happens even with extensions (if any) disabled/uninstalled; and
2. If the bug still happens then report it to the upstream developers at:
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues
and then tell us the new issue ID.
Thanks for the bug report. I can't seem to find any existing reports of this problem. Please:
1. Make sure the bug still happens even with extensions (if any) disabled/ uninstalled; and
2. If the bug still happens then report it to the upstream developers at:
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/- /issues
and then tell us the new issue ID.