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 Desktop Bugs, which is subscribed to gnome-shell in 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 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
