[gnome-shell-extensions] dock: fix documentation and default value of hide-effect
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] dock: fix documentation and default value of hide-effect
- Date: Mon, 19 Dec 2011 15:33:53 +0000 (UTC)
commit fe052f0e695c7f07cf21bbd4f96b831a6e8a4d0f
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Mon Dec 19 16:32:38 2011 +0100
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.
.../org.gnome.shell.extensions.dock.gschema.xml.in | 4 ++--
1 files 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 351c9a7..7f4caab 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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]