If you're running on Wayland it might be related to this:
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1510
It looks like a busy gnome-shell (or -extension) can eat mouse movement events, so it might eat keystrokes as well. Second way to reproduce the issue (for testing whether you experience the same issue) is in
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1510#note_577952
All this doesn't happen on X11, though.
If you're running on Wayland it might be related to this:
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues/ 1510
It looks like a busy gnome-shell (or -extension) can eat mouse movement events, so it might eat keystrokes as well. Second way to reproduce the issue (for testing whether you experience the same issue) is in
https:/ /gitlab. gnome.org/ GNOME/gnome- shell/issues/ 1510#note_ 577952
All this doesn't happen on X11, though.