Chromium Code Reviews| Index: Source/devtools/front_end/components/TimelineGrid.js |
| diff --git a/Source/devtools/front_end/components/TimelineGrid.js b/Source/devtools/front_end/components/TimelineGrid.js |
| index cca4b7c74c58094cec74f7a86341c30ff92f29ca..76471534b1bd722e235308362abedc472fdf825f 100644 |
| --- a/Source/devtools/front_end/components/TimelineGrid.js |
| +++ b/Source/devtools/front_end/components/TimelineGrid.js |
| @@ -191,8 +191,8 @@ WebInspector.TimelineGrid.prototype = { |
| var dividersElementClientWidth = this._dividersElement.clientWidth; |
| // Reuse divider elements and labels. |
| - var divider = this._dividersElement.firstChild; |
| - var dividerLabelBar = this._dividersLabelBarElement.firstChild; |
| + var divider = /** @type {?Element} */ (this._dividersElement.firstChild); |
|
aandrey
2014/06/17 11:33:54
why this cast? looks like some other place should
apavlov
2014/06/17 12:46:03
firstChild returns {?Node}, but given the fact tha
|
| + var dividerLabelBar = /** @type {?Element} */ (this._dividersLabelBarElement.firstChild); |
| const minWidthForTitle = 60; |
| var lastPosition = 0; |