[gnome-boxes] Use a GSettings value for animation duration

[Marc-Andre Lureau <malureau src gnome org>]

commit e28b39db8a2217ec31e840b8267261182ac0eac0
Author: Marc-Andrà Lureau <marcandre lureau gmail com>
Date:   Sat Nov 5 02:42:55 2011 +0100

    Use a GSettings value for animation duration

 data/org.gnome.boxes.gschema.xml.in |    8 ++++++++
 src/app.vala                        |    3 ++-
 2 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/data/org.gnome.boxes.gschema.xml.in b/data/org.gnome.boxes.gschema.xml.in
index ac5adc8..93479bb 100644
--- a/data/org.gnome.boxes.gschema.xml.in
+++ b/data/org.gnome.boxes.gschema.xml.in
@@ -17,6 +17,14 @@
       <default>5</default>
     </key>
 
+    <key name="animation-duration" type="i">
+      <_summary>Animation duration</_summary>
+      <_description>
+        The time it takes for transitions and animation, in ms.
+      </_description>
+      <default>250</default>
+    </key>
+
     <key name="window-size" type="ai">
       <default>[768, 600]</default>
       <_summary>Window size</_summary>
diff --git a/src/app.vala b/src/app.vala
index 1db5384..0bde562 100644
--- a/src/app.vala
+++ b/src/app.vala
@@ -22,7 +22,7 @@ private class Boxes.App: Boxes.UI {
     public Topbar topbar;
     public Sidebar sidebar;
     public Selectionbar selectionbar;
-    public static const uint duration = 555;  // default to 1/2 for all transitions
+    public static uint duration;
     public static GLib.Settings settings;
     public Wizard wizard;
     public Properties properties;
@@ -40,6 +40,7 @@ private class Boxes.App: Boxes.UI {
 
     public App () {
         settings = new GLib.Settings ("org.gnome.boxes");
+        duration = settings.get_int ("animation-duration");
         setup_ui ();
         collection = new Collection (this);
         connections = new HashTable<string, GVir.Connection> (str_hash, str_equal);