Comment 7 for bug 504405

Jud, you make excellent points, but we agree that this is not a paper cut. By all means, we should work with GNOME to change their Ctrl+Tab convention. Would you like to take up the cause? You've already proven that you can argue the case well -- mind firing off an email or two to the appropriate mailing lists?