From fe052f0e695c7f07cf21bbd4f96b831a6e8a4d0f Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Mon, 19 Dec 2011 16:32:38 +0100
Subject: [PATCH] dock: fix documentation and default value of hide-effect

In 3.2, the default hide effect is move, so make it the default
for 3.3 as well. Also, update the docs for this new value.
---
 .../dock/org.gnome.shell.extensions.dock.gschema.xml.in       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in b/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
index 351c9a72..7f4caab3 100644
--- a/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
+++ b/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
@@ -25,9 +25,9 @@
       <_summary>Enable/disable autohide</_summary>
     </key>
     <key name="hide-effect" enum="org.gnome.shell.extensions.dock.AutoHideEffect">
-      <default>'resize'</default>
+      <default>'move'</default>
       <_summary>Autohide effect</_summary>
-      <_description>Sets the effect of the hide dock. Allowed values are 'resize' or 'rescale'</_description>
+      <_description>Sets the effect of the hide dock. Allowed values are 'resize', 'rescale' and 'move'</_description>
     </key>
     <key name="hide-effect-duration" type="d">
       <default>0.3</default>