Chromium's WebKit API should use floats instead of doubles for zoom to match WebCore
[WebKit-https.git] / Source / WebKit / chromium / src / WebViewImpl.h
index 4a2a29ecb982f7b6617d64594ec85725c3b502bc..8f9d53ba08ab0c05e459f97f5255592b3197c21c 100644 (file)
@@ -151,10 +151,10 @@ public:
     virtual void setInitialFocus(bool reverse);
     virtual void clearFocusedNode();
     virtual void scrollFocusedNodeIntoView();
-    virtual double zoomLevel();
-    virtual double setZoomLevel(bool textOnly, double zoomLevel);
-    virtual void zoomLimitsChanged(double minimumZoomLevel,
-                                   double maximumZoomLevel);
+    virtual float zoomLevel() const;
+    virtual float setZoomLevel(bool textOnly, float zoomLevel);
+    virtual void zoomLimitsChanged(float minimumZoomLevel,
+                                   float maximumZoomLevel);
     virtual void scalePage(float scaleFactor, WebPoint origin);
     virtual void performMediaPlayerAction(
         const WebMediaPlayerAction& action,
@@ -394,7 +394,7 @@ public:
     // zoom level has been updated.  The plugin should only call this function
     // if the zoom change was triggered by the browser, it's only needed in case
     // a plugin can update its own zoom, say because of its own UI.
-    void fullFramePluginZoomLevelChanged(double zoomLevel);
+    void fullFramePluginZoomLevelChanged(float zoomLevel);
 
 #if ENABLE(GESTURE_RECOGNIZER)
     void resetGestureRecognizer();
@@ -493,11 +493,11 @@ private:
 
     // Keeps track of the current zoom level. 0 means no zoom, positive numbers
     // mean zoom in, negative numbers mean zoom out.
-    double m_zoomLevel;
+    float m_zoomLevel;
 
-    double m_minimumZoomLevel;
+    float m_minimumZoomLevel;
 
-    double m_maximumZoomLevel;
+    float m_maximumZoomLevel;
 
     bool m_contextMenuAllowed;