Title: [244318] trunk/Source/WebInspectorUI
- Revision
- 244318
- Author
- [email protected]
- Date
- 2019-04-15 18:43:00 -0700 (Mon, 15 Apr 2019)
Log 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.
Modified Paths
Diff
Modified: trunk/Source/WebInspectorUI/ChangeLog (244317 => 244318)
--- trunk/Source/WebInspectorUI/ChangeLog 2019-04-16 01:26:08 UTC (rev 244317)
+++ trunk/Source/WebInspectorUI/ChangeLog 2019-04-16 01:43:00 UTC (rev 244318)
@@ -1,3 +1,16 @@
+2019-04-15 Devin Rousso <[email protected]>
+
+ 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 <[email protected]>
Unreviewed, fix typo in a comment.
Modified: trunk/Source/WebInspectorUI/UserInterface/Base/Main.js (244317 => 244318)
--- trunk/Source/WebInspectorUI/UserInterface/Base/Main.js 2019-04-16 01:26:08 UTC (rev 244317)
+++ trunk/Source/WebInspectorUI/UserInterface/Base/Main.js 2019-04-16 01:43:00 UTC (rev 244318)
@@ -583,8 +583,7 @@
InspectorFrontendAPI.loadCompleted();
});
- 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
// and pending InspectorFrontendAPI commands to be sent.
@@ -1678,8 +1677,15 @@
WI.toolbar.updateLayout(WI.View.LayoutReason.Resize);
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);
+};
+
WI._updateModifierKeys = function(event)
{
let keys = {
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
