| 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 16 matching lines...) Expand all Loading... |
| 27 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 27 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 28 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 28 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 29 */ | 29 */ |
| 30 | 30 |
| 31 /** | 31 /** |
| 32 * @constructor | 32 * @constructor |
| 33 * @param {string} prefix | 33 * @param {string} prefix |
| 34 */ | 34 */ |
| 35 WebInspector.OverviewGrid = function(prefix) | 35 WebInspector.OverviewGrid = function(prefix) |
| 36 { | 36 { |
| 37 this.element = document.createElement("div"); | 37 this.element = createElement("div"); |
| 38 this.element.id = prefix + "-overview-container"; | 38 this.element.id = prefix + "-overview-container"; |
| 39 | 39 |
| 40 this._grid = new WebInspector.TimelineGrid(); | 40 this._grid = new WebInspector.TimelineGrid(); |
| 41 this._grid.element.id = prefix + "-overview-grid"; | 41 this._grid.element.id = prefix + "-overview-grid"; |
| 42 this._grid.setScrollAndDividerTop(0, 0); | 42 this._grid.setScrollAndDividerTop(0, 0); |
| 43 | 43 |
| 44 this.element.appendChild(this._grid.element); | 44 this.element.appendChild(this._grid.element); |
| 45 | 45 |
| 46 this._window = new WebInspector.OverviewGrid.Window(this.element, this._grid
.dividersLabelBarElement); | 46 this._window = new WebInspector.OverviewGrid.Window(this.element, this._grid
.dividersLabelBarElement); |
| 47 } | 47 } |
| (...skipping 397 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 445 __proto__: WebInspector.Object.prototype | 445 __proto__: WebInspector.Object.prototype |
| 446 } | 446 } |
| 447 | 447 |
| 448 /** | 448 /** |
| 449 * @constructor | 449 * @constructor |
| 450 */ | 450 */ |
| 451 WebInspector.OverviewGrid.WindowSelector = function(parent, position) | 451 WebInspector.OverviewGrid.WindowSelector = function(parent, position) |
| 452 { | 452 { |
| 453 this._startPosition = position; | 453 this._startPosition = position; |
| 454 this._width = parent.offsetWidth; | 454 this._width = parent.offsetWidth; |
| 455 this._windowSelector = document.createElement("div"); | 455 this._windowSelector = createElement("div"); |
| 456 this._windowSelector.className = "overview-grid-window-selector"; | 456 this._windowSelector.className = "overview-grid-window-selector"; |
| 457 this._windowSelector.style.left = this._startPosition + "px"; | 457 this._windowSelector.style.left = this._startPosition + "px"; |
| 458 this._windowSelector.style.right = this._width - this._startPosition + "px"; | 458 this._windowSelector.style.right = this._width - this._startPosition + "px"; |
| 459 parent.appendChild(this._windowSelector); | 459 parent.appendChild(this._windowSelector); |
| 460 } | 460 } |
| 461 | 461 |
| 462 WebInspector.OverviewGrid.WindowSelector.prototype = { | 462 WebInspector.OverviewGrid.WindowSelector.prototype = { |
| 463 _close: function(position) | 463 _close: function(position) |
| 464 { | 464 { |
| 465 position = Math.max(0, Math.min(position, this._width)); | 465 position = Math.max(0, Math.min(position, this._width)); |
| 466 this._windowSelector.remove(); | 466 this._windowSelector.remove(); |
| 467 return this._startPosition < position ? {start: this._startPosition, end
: position} : {start: position, end: this._startPosition}; | 467 return this._startPosition < position ? {start: this._startPosition, end
: position} : {start: position, end: this._startPosition}; |
| 468 }, | 468 }, |
| 469 | 469 |
| 470 _updatePosition: function(position) | 470 _updatePosition: function(position) |
| 471 { | 471 { |
| 472 position = Math.max(0, Math.min(position, this._width)); | 472 position = Math.max(0, Math.min(position, this._width)); |
| 473 if (position < this._startPosition) { | 473 if (position < this._startPosition) { |
| 474 this._windowSelector.style.left = position + "px"; | 474 this._windowSelector.style.left = position + "px"; |
| 475 this._windowSelector.style.right = this._width - this._startPosition
+ "px"; | 475 this._windowSelector.style.right = this._width - this._startPosition
+ "px"; |
| 476 } else { | 476 } else { |
| 477 this._windowSelector.style.left = this._startPosition + "px"; | 477 this._windowSelector.style.left = this._startPosition + "px"; |
| 478 this._windowSelector.style.right = this._width - position + "px"; | 478 this._windowSelector.style.right = this._width - position + "px"; |
| 479 } | 479 } |
| 480 } | 480 } |
| 481 } | 481 } |
| OLD | NEW |