Seb, You are right, discussion started here: https://lists.ubuntu.com/archives/ubuntu-devel-discuss/2007-August/001454.html
-- Codes shown in Gnome Preferences Keyboard Shortcuts https://bugs.launchpad.net/bugs/25002 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a direct subscriber. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs