32547d2eff
GTK+ doesn't support shading of client-side decorated windows, and likely never will (not least because shading is conceptually questionable if the app customizes the titlebar), and neither do other CSD implementations like Chromium's. A shortcut that only works with a decreasing number of windows is more confusing than helpful, so don't expose it. https://bugzilla.gnome.org/show_bug.cgi?id=645460 |
||
---|---|---|
.. | ||
50-mutter-navigation.xml | ||
50-mutter-system.xml | ||
50-mutter-wayland.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 |