OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2013 Google Inc. All rights reserved. | 2 * Copyright (C) 2013 Google Inc. All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
6 * met: | 6 * met: |
7 * | 7 * |
8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
(...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
164 if (dividersLabelBarElement) | 164 if (dividersLabelBarElement) |
165 WebInspector.installDragHandle(dividersLabelBarElement, this._startWindo
wDragging.bind(this), this._windowDragging.bind(this), null, "move"); | 165 WebInspector.installDragHandle(dividersLabelBarElement, this._startWindo
wDragging.bind(this), this._windowDragging.bind(this), null, "move"); |
166 | 166 |
167 this.windowLeft = 0.0; | 167 this.windowLeft = 0.0; |
168 this.windowRight = 1.0; | 168 this.windowRight = 1.0; |
169 | 169 |
170 this._parentElement.addEventListener("mousewheel", this._onMouseWheel.bind(t
his), true); | 170 this._parentElement.addEventListener("mousewheel", this._onMouseWheel.bind(t
his), true); |
171 this._parentElement.addEventListener("dblclick", this._resizeWindowMaximum.b
ind(this), true); | 171 this._parentElement.addEventListener("dblclick", this._resizeWindowMaximum.b
ind(this), true); |
172 | 172 |
173 this._overviewWindowElement = parentElement.createChild("div", "overview-gri
d-window"); | 173 this._overviewWindowElement = parentElement.createChild("div", "overview-gri
d-window"); |
174 this._overviewWindowElement.appendChild(WebInspector.View.createStyleElement
("components/overviewGrid.css")); | 174 this._overviewWindowElement.appendChild(WebInspector.View.createStyleElement
("ui/overviewGrid.css")); |
175 this._overviewWindowBordersElement = parentElement.createChild("div", "overv
iew-grid-window-rulers"); | 175 this._overviewWindowBordersElement = parentElement.createChild("div", "overv
iew-grid-window-rulers"); |
176 parentElement.createChild("div", "overview-grid-dividers-background"); | 176 parentElement.createChild("div", "overview-grid-dividers-background"); |
177 | 177 |
178 this._leftResizeElement = parentElement.createChild("div", "overview-grid-wi
ndow-resizer"); | 178 this._leftResizeElement = parentElement.createChild("div", "overview-grid-wi
ndow-resizer"); |
179 this._leftResizeElement.style.left = 0; | 179 this._leftResizeElement.style.left = 0; |
180 WebInspector.installDragHandle(this._leftResizeElement, this._resizerElement
StartDragging.bind(this), this._leftResizeElementDragging.bind(this), null, "ew-
resize"); | 180 WebInspector.installDragHandle(this._leftResizeElement, this._resizerElement
StartDragging.bind(this), this._leftResizeElementDragging.bind(this), null, "ew-
resize"); |
181 | 181 |
182 this._rightResizeElement = parentElement.createChild("div", "overview-grid-w
indow-resizer overview-grid-window-resizer-right"); | 182 this._rightResizeElement = parentElement.createChild("div", "overview-grid-w
indow-resizer overview-grid-window-resizer-right"); |
183 this._rightResizeElement.style.right = 0; | 183 this._rightResizeElement.style.right = 0; |
184 WebInspector.installDragHandle(this._rightResizeElement, this._resizerElemen
tStartDragging.bind(this), this._rightResizeElementDragging.bind(this), null, "e
w-resize"); | 184 WebInspector.installDragHandle(this._rightResizeElement, this._resizerElemen
tStartDragging.bind(this), this._rightResizeElementDragging.bind(this), null, "e
w-resize"); |
(...skipping 289 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
474 position = Math.max(0, Math.min(position, this._width)); | 474 position = Math.max(0, Math.min(position, this._width)); |
475 if (position < this._startPosition) { | 475 if (position < this._startPosition) { |
476 this._windowSelector.style.left = position + "px"; | 476 this._windowSelector.style.left = position + "px"; |
477 this._windowSelector.style.right = this._width - this._startPosition
+ "px"; | 477 this._windowSelector.style.right = this._width - this._startPosition
+ "px"; |
478 } else { | 478 } else { |
479 this._windowSelector.style.left = this._startPosition + "px"; | 479 this._windowSelector.style.left = this._startPosition + "px"; |
480 this._windowSelector.style.right = this._width - position + "px"; | 480 this._windowSelector.style.right = this._width - position + "px"; |
481 } | 481 } |
482 } | 482 } |
483 } | 483 } |
OLD | NEW |