| 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);
|
| + var dividerLabelBar = /** @type {?Element} */ (this._dividersLabelBarElement.firstChild);
|
|
|
| const minWidthForTitle = 60;
|
| var lastPosition = 0;
|
|
|