No problem. It looks like I added "arrow" just to clarify for duplicate bug reports that this was the first one to report the issue, which most people associate with arrow keys. So it helps them to find this bug and avoid logging more duplicates.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2072761 Title: Stuck arrow keys after switching workspaces To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/2072761/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
