Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=509478
--- Comment #8 from Jens Petersen petersen@redhat.com 2011-05-19 01:59:04 EDT --- May be good to survey how other distros handle this.
Alternatives might include global hotkey + optional locale based hotkey.