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 Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1712122
Title:
Desktop keyboard shortcuts autorepeat (probably shouldn't)
Status in gnome-shell package in Ubuntu:
Triaged
Bug description:
"Please hold down CTRL+ALT and press T" sometimes results in (novice)
users holding down all three keys at once.
Desired behaviour:-
One terminal opens, keyboard combination does not repeat.
Actual behaviour:-
Bazillions of terminals launch
On my Ubuntu 16.04 system running Unity, the keyboard shortcut does
not repeat. On 17.10 GNOME Shell it does. I believe it should not. See
screenshot.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-shell 3.24.3-0ubuntu4
ProcVersionSignature: Ubuntu 4.12.0-11.12-generic 4.12.5
Uname: Linux 4.12.0-11-generic x86_64
ApportVersion: 2.20.6-0ubuntu6
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Aug 21 18:12:51 2017
DisplayManager: gdm3
GsettingsChanges:
b'org.gnome.shell' b'command-history' b"['gnome-control-center',
'bin/telegram', '~/bin/Telegram', '~/bin/telegram', '/home/alan/bin/telegram',
'/home/alan/bin/Telegram', 'brackets', '/snap/bin/brackets']"
b'org.gnome.shell' b'had-bluetooth-devices-setup' b'true'
b'org.gnome.shell' b'app-picker-view' b'uint32 1'
b'org.gnome.shell' b'favorite-apps' b"['firefox.desktop',
'rhythmbox.desktop', 'org.gnome.Nautilus.desktop',
'org.gnome.Software.desktop', 'yelp.desktop', 'ubuntu-amazon-default.desktop']"
b'org.gnome.desktop.interface' b'gtk-im-module' b"'gtk-im-context-simple'"
InstallationDate: Installed on 2017-08-02 (19 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170712)
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712122/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp