[devhelp/webkit2] WebKitWebView:zoom-level is a double in WebKit2

[Carlos Garcia Campos <carlosgc src gnome org>]

commit 9a7726865c000367244d6b7e49d0f5032babb19e
Author: Carlos Garcia Campos <cgarcia igalia com>
Date:   Thu Jan 26 11:39:15 2012 +0100

    WebKitWebView:zoom-level is a double in WebKit2

 src/dh-window.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index 91752da..834097d 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -287,7 +287,7 @@ static int
 window_get_current_zoom_level_index (DhWindow *window)
 {
         WebKitWebView *web_view;
-        float zoom_level;
+        double zoom_level;
         int zoom_level_as_int = ZOOM_DEFAULT;
         int i;
 
@@ -341,7 +341,7 @@ window_activate_zoom_in (GtkAction *action,
 
                 web_view = window_get_active_web_view (window);
                 g_object_set (web_view,
-                              "zoom-level", (float)(zoom_levels[zoom_level_idx+1].level)/100,
+                              "zoom-level", (double)(zoom_levels[zoom_level_idx+1].level)/100,
                               NULL);
                 window_update_zoom_actions_sensitiveness (window);
         }
@@ -363,7 +363,7 @@ window_activate_zoom_out (GtkAction *action,
 
                 web_view = window_get_active_web_view (window);
                 g_object_set (web_view,
-                              "zoom-level", (float)(zoom_levels[zoom_level_idx-1].level)/100,
+                              "zoom-level", (double)(zoom_levels[zoom_level_idx-1].level)/100,
                               NULL);
                 window_update_zoom_actions_sensitiveness (window);
         }
@@ -379,7 +379,7 @@ window_activate_zoom_default (GtkAction *action,
         priv = window->priv;
 
         web_view = window_get_active_web_view (window);
-        g_object_set (web_view, "zoom-level", (float)(ZOOM_DEFAULT)/100, NULL);
+        g_object_set (web_view, "zoom-level", (double)(ZOOM_DEFAULT)/100, NULL);
         window_update_zoom_actions_sensitiveness (window);
 }