diff options
| author | Simon Hausmann <simon.hausmann@digia.com> | 2012-10-23 15:19:45 +0200 |
|---|---|---|
| committer | Simon Hausmann <simon.hausmann@digia.com> | 2012-10-23 15:19:45 +0200 |
| commit | c683e47ee239ec6a36bfbdba0e9e2a3d9ed013d4 (patch) | |
| tree | dcec03c81268b536503f837c8d93d8a67328faa3 /Source/WebKit/blackberry/Api/WebPage.cpp | |
| parent | 5ea819f80c6840c492386bfafbffb059c7e2091f (diff) | |
| download | qtwebkit-c683e47ee239ec6a36bfbdba0e9e2a3d9ed013d4.tar.gz | |
Imported WebKit commit 7136c2962f51f9ea361d9796b069374d0f41c922 (http://svn.webkit.org/repository/webkit/trunk@132195)
Build fix for Windows when building against Qt that was built without Angle support
Diffstat (limited to 'Source/WebKit/blackberry/Api/WebPage.cpp')
| -rw-r--r-- | Source/WebKit/blackberry/Api/WebPage.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Source/WebKit/blackberry/Api/WebPage.cpp b/Source/WebKit/blackberry/Api/WebPage.cpp index d2b7f7898..d008c02df 100644 --- a/Source/WebKit/blackberry/Api/WebPage.cpp +++ b/Source/WebKit/blackberry/Api/WebPage.cpp @@ -3445,16 +3445,17 @@ IntSize WebPagePrivate::recomputeVirtualViewportFromViewportArguments() int desktopWidth = DEFAULT_MAX_LAYOUT_WIDTH; int deviceWidth = Platform::Graphics::Screen::primaryScreen()->width(); int deviceHeight = Platform::Graphics::Screen::primaryScreen()->height(); - ViewportAttributes result = computeViewportAttributes(m_viewportArguments, desktopWidth, deviceWidth, deviceHeight, m_webSettings->devicePixelRatio(), m_defaultLayoutSize); - m_page->setDeviceScaleFactor(result.devicePixelRatio); + float devicePixelRatio = m_webSettings->devicePixelRatio(); + ViewportAttributes result = computeViewportAttributes(m_viewportArguments, desktopWidth, deviceWidth, deviceHeight, devicePixelRatio, m_defaultLayoutSize); + m_page->setDeviceScaleFactor(devicePixelRatio); setUserScalable(m_webSettings->isUserScalable() && result.userScalable); if (result.initialScale > 0) - setInitialScale(result.initialScale * result.devicePixelRatio); + setInitialScale(result.initialScale * devicePixelRatio); if (result.minimumScale > 0) - setMinimumScale(result.minimumScale * result.devicePixelRatio); + setMinimumScale(result.minimumScale * devicePixelRatio); if (result.maximumScale > 0) - setMaximumScale(result.maximumScale * result.devicePixelRatio); + setMaximumScale(result.maximumScale * devicePixelRatio); return IntSize(result.layoutSize.width(), result.layoutSize.height()); } |
