Moved from g-s-d's media keys plugin, where it was called "video-out", since it requires changing the current monitor configuration and we want to remove the old DBus API.
This implementation is intentionally simple and not really meant for more than debugging and validating the various configurations. A better user experience will be introduced in gnome-shell with a custom keybinding handler.
The default value includes
7e330bd keybindings: Add a switch-monitor builtin keybinding
data/org.gnome.mutter.gschema.xml.in | 5 +++++
src/core/keybindings.c | 28 ++++++++++++++++++++++++++++
src/meta/prefs.h | 1 +
3 files changed, 34 insertions(+)