mirror of
https://github.com/brl/mutter.git
synced 2024-11-22 08:00:42 -05:00
7e330bd65f
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 <Super>P in addition to the standard keysym for historical reasons. https://bugzilla.gnome.org/show_bug.cgi?id=781906 |
||
---|---|---|
.. | ||
50-mutter-navigation.xml | ||
50-mutter-system.xml | ||
50-mutter-windows.xml | ||
default_icon.png | ||
Makefile.am | ||
mutter-schemas.convert | ||
mutter.desktop.in | ||
org.gnome.mutter.gschema.xml.in | ||
org.gnome.mutter.wayland.gschema.xml.in |