[Bug 1139728] Re: Key gets double tapped when changing workspace under gnome3

[Francesco Fumanti]

** Also affects: onboard
   Importance: Undecided
       Status: New

-- 
You received this bug notification because you are a member of
Accessibility, which is subscribed to onboard in Ubuntu.
https://bugs.launchpad.net/bugs/1139728

Title:
  Key gets double tapped when changing workspace under gnome3

To manage notifications about this bug go to:
https://bugs.launchpad.net/onboard/+bug/1139728/+subscriptions