Be more forgiving of modifiers. Check for GDK_CONTROL_MASK and GDK_SHIFT_MASK, but not to the exclusion of all other modifiers. There, that should make the shortcut work for everyone now.
Be more forgiving of modifiers. Check for GDK_CONTROL_MASK and GDK_SHIFT_MASK, but not to the exclusion of all other modifiers. There, that should make the shortcut work for everyone now.