Use float to preserve scales' accuracy.

This change helps page navigation, since the restored scale
is accurate.

This change has a corresponding change in frameworks/base.
https://android-git.corp.google.com/g/#change,88121

issue: 3225233
Change-Id: I7e5601e8412e8b81e7f32c9ffb9e6c114db95169

1 files changed, 6 insertions, 6 deletions

diff --git a/WebCore/history/android/AndroidWebHistoryBridge.h b/WebCore/history/android/AndroidWebHistoryBridge.h
index b320c4a..a827b4a 100644
--- a/WebCore/history/android/AndroidWebHistoryBridge.h
+++ b/WebCore/history/android/AndroidWebHistoryBridge.h
@@ -42,17 +42,17 @@ public:
     virtual ~AndroidWebHistoryBridge() { }
     virtual void updateHistoryItem(HistoryItem* item) = 0;
 
-    void setScale(int s) { m_scale = s; }
-    void setTextWrapScale(int s) { m_textWrapScale = s; }
-    int scale() const { return m_scale; }
-    int textWrapScale() const { return m_textWrapScale; }
+    void setScale(float s) { m_scale = s; }
+    void setTextWrapScale(float s) { m_textWrapScale = s; }
+    float scale() const { return m_scale; }
+    float textWrapScale() const { return m_textWrapScale; }
     void detachHistoryItem() { m_historyItem = 0; }
     HistoryItem* historyItem() const { return m_historyItem; }
     void setActive() { m_active = true; }
 
 protected:
-    int m_scale;
-    int m_textWrapScale;
+    float m_scale;
+    float m_textWrapScale;
     bool m_active;
     HistoryItem* m_historyItem;
 };