diff options
author | Shimeng (Simon) Wang <swang@google.com> | 2011-01-07 15:46:52 -0800 |
---|---|---|
committer | Shimeng (Simon) Wang <swang@google.com> | 2011-01-11 10:53:17 -0800 |
commit | c4683829d0d4932156a97ce14ea15deed71bf21d (patch) | |
tree | 46ae05af82a74578639530ed4b38517b0f17ce81 /WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp | |
parent | cea2bc79994f4e4f617a2e1a372dfc44a3f5365a (diff) | |
download | external_webkit-c4683829d0d4932156a97ce14ea15deed71bf21d.zip external_webkit-c4683829d0d4932156a97ce14ea15deed71bf21d.tar.gz external_webkit-c4683829d0d4932156a97ce14ea15deed71bf21d.tar.bz2 |
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
Diffstat (limited to 'WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp')
-rw-r--r-- | WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp b/WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp index c56348c..d165afa 100644 --- a/WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp +++ b/WebKit/android/WebCoreSupport/FrameLoaderClientAndroid.cpp @@ -814,8 +814,8 @@ void FrameLoaderClientAndroid::saveViewStateToItem(HistoryItem* item) { // store the current scale (only) for the top frame if (!m_frame->tree()->parent()) { WebViewCore* webViewCore = WebViewCore::getWebViewCore(m_frame->view()); - bridge->setScale((int)(webViewCore->scale() * 100)); - bridge->setTextWrapScale((int)(webViewCore->textWrapScale() * 100)); + bridge->setScale(webViewCore->scale()); + bridge->setTextWrapScale(webViewCore->textWrapScale()); } WebCore::notifyHistoryItemChanged(item); |