1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// Copyright 2014 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
/**
* @constructor
* @extends {WebInspector.View}
*/
WebInspector.InspectedPagePlaceholder = function()
{
WebInspector.View.call(this);
this.element.classList.add("inspected-page-placeholder");
WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._scheduleUpdate, this);
this._margins = { top: 0, right: 0, bottom: 0, left: 0 };
this.restoreMinimumSizeAndMargins();
};
WebInspector.InspectedPagePlaceholder.Events = {
Update: "Update"
};
WebInspector.InspectedPagePlaceholder.MarginValue = 3;
WebInspector.InspectedPagePlaceholder.prototype = {
_findMargins: function()
{
var margins = { top: 0, right: 0, bottom: 0, left: 0 };
if (this._useMargins) {
var adjacent = { top: true, right: true, bottom: true, left: true };
var view = this;
while (view.parentView()) {
var parent = view.parentView();
// This view assumes it's always inside the main split view element, not a sidebar.
// Every parent which is not a split view, must be of the same size as this view.
if (parent instanceof WebInspector.SplitView) {
var side = parent.sidebarSide();
if (adjacent[side] && !parent.hasCustomResizer() && parent.isResizable())
margins[side] = WebInspector.InspectedPagePlaceholder.MarginValue;
adjacent[side] = false;
}
view = parent;
}
}
if (this._margins.top !== margins.top || this._margins.left !== margins.left || this._margins.right !== margins.right || this._margins.bottom !== margins.bottom) {
this._margins = margins;
this._scheduleUpdate();
}
},
onResize: function()
{
this._findMargins();
this._scheduleUpdate();
},
_scheduleUpdate: function()
{
if (this._updateId)
this.element.window().cancelAnimationFrame(this._updateId);
this._updateId = this.element.window().requestAnimationFrame(this.update.bind(this));
},
/**
* @return {!Size}
*/
dipPageSize: function()
{
var rect = this._dipPageRect();
return new Size(Math.round(rect.width), Math.round(rect.height));
},
/**
* @return {!Size}
*/
cssElementSize: function()
{
var zoomFactor = WebInspector.zoomManager.zoomFactor();
var rect = this.element.getBoundingClientRect();
var width = rect.width - (this._margins.left + this._margins.right) / zoomFactor;
var height = rect.height - (this._margins.top + this._margins.bottom) / zoomFactor;
return new Size(width, height);
},
restoreMinimumSizeAndMargins: function()
{
this._useMargins = true;
this.setMinimumSize(50, 50);
this._findMargins();
},
clearMinimumSizeAndMargins: function()
{
this._useMargins = false;
this.setMinimumSize(1, 1);
this._findMargins();
},
_dipPageRect: function()
{
var zoomFactor = WebInspector.zoomManager.zoomFactor();
var rect = this.element.getBoundingClientRect();
var bodyRect = this.element.ownerDocument.body.getBoundingClientRect();
var left = Math.max(rect.left * zoomFactor + this._margins.left, bodyRect.left * zoomFactor);
var top = Math.max(rect.top * zoomFactor + this._margins.top, bodyRect.top * zoomFactor);
var bottom = Math.min(rect.bottom * zoomFactor - this._margins.bottom, bodyRect.bottom * zoomFactor);
var right = Math.min(rect.right * zoomFactor - this._margins.right, bodyRect.right * zoomFactor);
return { x: left, y: top, width: right - left, height: bottom - top };
},
update: function()
{
delete this._updateId;
var rect = this._dipPageRect();
var bounds = { x: Math.round(rect.x), y: Math.round(rect.y), height: Math.max(1, Math.round(rect.height)), width: Math.max(1, Math.round(rect.width)) };
this.dispatchEventToListeners(WebInspector.InspectedPagePlaceholder.Events.Update, bounds);
},
__proto__: WebInspector.View.prototype
};
|
