[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2020-03-19 Thread Daniel van Vugt
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1712122

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2019-03-11 Thread Sebastien Bacher
** Changed in: gnome-shell (Ubuntu)
   Status: Triaged => Fix Committed

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

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2019-03-10 Thread Daniel van Vugt
Yeah I thought so. Can you point to where?

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

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2019-03-08 Thread Andrea Azzarone
This has already been fixed upstream.

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

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2019-03-08 Thread Daniel van Vugt
** Tags removed: artful

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

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2018-08-08 Thread Daniel van Vugt
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1712122

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1712122] Re: Desktop keyboard shortcuts autorepeat (probably shouldn't)

2017-08-21 Thread Daniel van Vugt
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)
   Importance: Undecided => Wishlist

** Changed in: gnome-shell (Ubuntu)
   Status: New => Triaged

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

Title:
  Desktop keyboard shortcuts autorepeat (probably shouldn't)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs