Changeset 244318 in webkit

Timestamp:

Apr 15, 2019 6:43:00 PM (5 years ago)

Author:

Devin Rousso

Message:

Web Inspector: update sheet rect whenever inspector window size changes
​https://bugs.webkit.org/show_bug.cgi?id=196942
<rdar://problem/49920241>

Reviewed by Joseph Pecoraro.

• UserInterface/Base/Main.js:

(WI.contentLoaded):
(WI._windowResized):
(WI._updateSheetRect): Added.

Location:

trunk/Source/WebInspectorUI

Files:

• ChangeLog (modified) (1 diff)
• UserInterface/Base/Main.js (modified) (2 diffs)

trunk/Source/WebInspectorUI/ChangeLog

@@ +1 @@
+2019-04-15  Devin Rousso  <drousso@apple.com>
+
+        Web Inspector: update sheet rect whenever inspector window size changes
+        https://bugs.webkit.org/show_bug.cgi?id=196942
+        <rdar://problem/49920241>
+
+        Reviewed by Joseph Pecoraro.
+
+        * UserInterface/Base/Main.js:
+        (WI.contentLoaded):
+        (WI._windowResized):
+        (WI._updateSheetRect): Added.
+
 2019-04-15  Nikita Vasilyev  <nvasilyev@apple.com>
 

trunk/Source/WebInspectorUI/UserInterface/Base/Main.js

@@ -584 +584 @@
     });
 
-    let mainElementRect = document.getElementById("main").getBoundingClientRect();
-    InspectorFrontendHost.setSheetRect(mainElementRect.x, mainElementRect.y, mainElementRect.width, mainElementRect.height);
+    WI._updateSheetRect();
 
     // Tell the InspectorFrontendHost we loaded, which causes the window to display
@@ -1679 +1678 @@
     WI.tabBar.updateLayout(WI.View.LayoutReason.Resize);
     WI._tabBrowserSizeDidChange();
+    WI._updateSheetRect();
+};
+
+WI._updateSheetRect = function()
+{
+    let mainElementRect = document.getElementById("main").getBoundingClientRect();
+    InspectorFrontendHost.setSheetRect(mainElementRect.x, mainElementRect.y, mainElementRect.width, mainElementRect.height);
 };