It should also be noted that a Ctrl+Super+<x> keybinding implies both of the prefix characters pressed together and then the additional key, and that depending which of Super and Ctrl contacts first depends on whether the launcher is triggered falsely. We should consider the super as part of a key combination if any other modifier is added very soon after it is triggered (in human terms).
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to metacity in Ubuntu. https://bugs.launchpad.net/bugs/969235 Title: Keyboard shortcuts - Update some window management shortcuts to use "Ctrl + Super" instead of just "Super" To manage notifications about this bug go to: https://bugs.launchpad.net/ayatana-design/+bug/969235/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
