diff options
| author | Jasper St. Pierre <jstpierre@mecheye.net> | 2012-02-29 22:15:12 -0500 |
|---|---|---|
| committer | Jasper St. Pierre <jstpierre@mecheye.net> | 2012-04-24 16:40:47 -0400 |
| commit | 2d6555ca4d5b5ab52c2d2fe4f78d03c0a85cf4e5 (patch) | |
| tree | b1da228f080651c6a12a11a5a7cf21ef67f9a5c2 /src/org.gnome.mutter.gschema.xml.in | |
| parent | 044d58951e4d72f387377ee75f647d9dc63462f1 (diff) | |
| download | mutter-2d6555ca4d5b5ab52c2d2fe4f78d03c0a85cf4e5.tar.gz | |
prefs: Remove live-hidden-windows preference
The preference existed, even though it was hard-coded to true. Just
remove it for good.
https://bugzilla.gnome.org/show_bug.cgi?id=671104
Diffstat (limited to 'src/org.gnome.mutter.gschema.xml.in')
| -rw-r--r-- | src/org.gnome.mutter.gschema.xml.in | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/org.gnome.mutter.gschema.xml.in b/src/org.gnome.mutter.gschema.xml.in index 465feabec..e23ad8175 100644 --- a/src/org.gnome.mutter.gschema.xml.in +++ b/src/org.gnome.mutter.gschema.xml.in @@ -25,16 +25,6 @@ </_description> </key> - <key name="live-hidden-windows" type="b"> - <default>false</default> - <_summary>Live Hidden Windows</_summary> - <_description> - Determines whether hidden windows (i.e., minimized windows and - windows on other workspaces than the current one) should be kept - alive. - </_description> - </key> - <key name="edge-tiling" type="b"> <default>false</default> <_summary>Enable edge tiling when dropping windows on screen edges</_summary> |