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 684712 - Add a Typing group with the input-sources-switcher key
Add a Typing group with the input-sources-switcher key
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2012-09-24 12:58 UTC by Rui Matos
Modified: 2012-09-25 13:29 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Add a Typing group with the input-sources-switcher key (1.58 KB, patch)
2012-09-24 12:58 UTC, Rui Matos
committed Details | Review

Description Rui Matos 2012-09-24 12:58:39 UTC
Patch attached.
Comment 1 Rui Matos 2012-09-24 12:58:41 UTC
Created attachment 225062 [details] [review]
Add a Typing group with the input-sources-switcher key

This group will hold some more typing related tweaks but for now just
add the modifiers only shortcut to switch input sources.
Comment 2 John Stowers 2012-09-25 11:55:04 UTC
Review of attachment 225062 [details] [review]:

OK to commit
Comment 3 Rui Matos 2012-09-25 13:29:56 UTC
Attachment 225062 [details] pushed as 1b18b76 - Add a Typing group with the
input-sources-switcher key

Thanks.