As Martin said, this isn't really a window manager function. The current key combination is handled by the media-keys plugin in gnome-settings-daemon, so it would need to be changed there if you wanted a new binding
As Martin said, this isn't really a window manager function. The current key combination is handled by the media-keys plugin in gnome-settings- daemon, so it would need to be changed there if you wanted a new binding