[geary/wip/728002-webkit2: 47/48] Remove workaround for WK1 Settings zoom-level being floats, not doubles.



commit 47f6af09aeab62b8c41acdd6421631cdaa6cd509
Author: Michael James Gratton <mike vee net>
Date:   Sun Oct 16 22:42:19 2016 +1100

    Remove workaround for WK1 Settings zoom-level being floats, not doubles.

 src/client/components/client-web-view.vala |   10 +---------
 1 files changed, 1 insertions(+), 9 deletions(-)
---
diff --git a/src/client/components/client-web-view.vala b/src/client/components/client-web-view.vala
index d3614ef..f3c9a8b 100644
--- a/src/client/components/client-web-view.vala
+++ b/src/client/components/client-web-view.vala
@@ -91,13 +91,6 @@ public class ClientWebView : WebKit.WebView {
         }
     }
 
-    // We need to wrap zoom_level (type float) because we cannot connect with float
-    // with double (cf https://bugzilla.gnome.org/show_bug.cgi?id=771534)
-    public double zoom_level_wrap {
-        get { return zoom_level; }
-        set { if (zoom_level != (float)value) zoom_level = (float)value; }
-    }
-
     private Gee.Map<string,Geary.Memory.Buffer> cid_resources =
         new Gee.HashMap<string,Geary.Memory.Buffer>();
 
@@ -128,8 +121,7 @@ public class ClientWebView : WebKit.WebView {
                 }
             });
 
-        GearyApplication.instance.config.bind(Configuration.CONVERSATION_VIEWER_ZOOM_KEY, this, 
"zoom_level_wrap");
-        this.notify["zoom-level"].connect(() => { zoom_level_wrap = zoom_level; });
+        GearyApplication.instance.config.bind(Configuration.CONVERSATION_VIEWER_ZOOM_KEY, this, 
"zoom_level");
         this.scroll_event.connect(on_scroll_event);
 
         Settings system_settings = GearyApplication.instance.config.gnome_interface;


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]