Fix Released some time ago I assume.
** Changed in: gnome-shell (Ubuntu)
Status: Fix Committed => Fix Released
--
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/1712122
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Fix Committed
--
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/1712122
Title:
Desktop keyboard shortcuts autorepeat
Yeah I thought so. Can you point to where?
--
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/1712122
Title:
Desktop keyboard shortcuts autorepeat (probably shouldn't)
To manage
This has already been fixed upstream.
--
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/1712122
Title:
Desktop keyboard shortcuts autorepeat (probably shouldn't)
To manage
** Tags removed: artful
--
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/1712122
Title:
Desktop keyboard shortcuts autorepeat (probably shouldn't)
To manage notifications about
This sounds like something Andrea is working on already...
** Changed in: gnome-shell (Ubuntu)
Assignee: (unassigned) => Andrea Azzarone (azzar1)
** Changed in: gnome-shell (Ubuntu)
Importance: Wishlist => Low
--
You received this bug notification because you are a member of Ubuntu
It gets worse. The terminals may open when you're pressing nothing: bug
1707828 :)
This sounds like a reasonable enhancement with respect to shell
shortcuts. But also consider multi-key combos like Ctrl+C that should
(or at least do conventionally) autorepeat.
** Changed in: gnome-shell (Ubuntu)