Comment 12 for bug 969235

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).