I think this bug can be closed since gnome3 does not support these either. If this bug were to be kept open, I think this scope would be broader, to expose all window management keys in keyboard shortcuts.
I think this bug can be closed since gnome3 does not support these either. If this bug were to be kept open, I think this scope would be broader, to expose all window management keys in keyboard shortcuts.