Changeset 247897 in webkit

Timestamp:

Jul 28, 2019 7:07:18 PM (5 years ago)

Author:

Fujii Hironori

Message:

[Win][WK1] Can't change Web Inspector frontend height in high DPI
​https://bugs.webkit.org/show_bug.cgi?id=200153

Reviewed by Don Olmstead.

• WebCoreSupport/WebInspectorClient.cpp:

(WebInspectorFrontendClient::setAttachedWindowHeight):
Applied deviceScaleFactor to the argument height.

Location:

trunk/Source/WebKitLegacy/win

Files:

• ChangeLog (modified) (1 diff)
• WebCoreSupport/WebInspectorClient.cpp (modified) (1 diff)

trunk/Source/WebKitLegacy/win/ChangeLog

@@ +1 @@
+2019-07-28  Fujii Hironori  <Hironori.Fujii@sony.com>
+
+        [Win][WK1] Can't change Web Inspector frontend height in high DPI
+        https://bugs.webkit.org/show_bug.cgi?id=200153
+
+        Reviewed by Don Olmstead.
+
+        * WebCoreSupport/WebInspectorClient.cpp:
+        (WebInspectorFrontendClient::setAttachedWindowHeight):
+        Applied deviceScaleFactor to the argument height.
+
 2019-07-26  Konstantin Tokarev  <annulen@yandex.ru>
 

trunk/Source/WebKitLegacy/win/WebCoreSupport/WebInspectorClient.cpp

@@ -337 +337 @@
     int webViewWidth = inspectedRect.right - inspectedRect.left;
     int webViewHeight = frontendRect.bottom + inspectedRect.bottom;
+    height *= m_inspectedWebView->deviceScaleFactor();
 
     SetWindowPos(m_frontendWebViewHwnd, 0, 0, hostWindowHeight - height, webViewWidth, height, SWP_NOZORDER);