After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 708204 - Enabling mouse pointer highlighting breaks keyboard shortcuts involving Ctrl
Enabling mouse pointer highlighting breaks keyboard shortcuts involving Ctrl
Status: RESOLVED DUPLICATE of bug 690055
Product: gnome-shell
Classification: Core
Component: general
3.8.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2013-09-17 00:29 UTC by Andreas Kloeckner
Modified: 2015-11-19 16:34 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Andreas Kloeckner 2013-09-17 00:29:13 UTC 
Steps to reproduce:

- Create a shortcut Ctrl-` for gnome-terminal
- (Not sure if relevant: Use gnome-tweak-tool to set Caps Lock as another Ctrl key)
- Verify that Ctrl-` pops open a terminal
- Enable mouse pointer highlighting using Ctrl in gnome-tweak-tool
- Verify that Ctrl-` only reluctantly (after multiple attempts) pops open a terminal
Comment 1 Bastien Nocera 2015-11-19 16:34:30 UTC 
That code lives in gnome-settings-daemon and is broken. The plan is to reimplement it in gnome-shell directly. See also bug 738159.

*** This bug has been marked as a duplicate of bug 690055 ***