Index: third_party/WebKit/Source/devtools/front_end/network/ResourceWebSocketFrameView.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/network/ResourceWebSocketFrameView.js b/third_party/WebKit/Source/devtools/front_end/network/ResourceWebSocketFrameView.js |
index 76cacc37d4c00837121499a3997425fb0ea41003..0610535e819af42c26346d6b063d4194e11911b5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/network/ResourceWebSocketFrameView.js |
+++ b/third_party/WebKit/Source/devtools/front_end/network/ResourceWebSocketFrameView.js |
@@ -31,11 +31,11 @@ WebInspector.ResourceWebSocketFrameView = function(request) |
this._splitWidget = new WebInspector.SplitWidget(false, true, "resourceWebSocketFrameSplitViewState"); |
this._splitWidget.show(this.element); |
- var columns = [ |
+ var columns = /** @type {!Array<!WebInspector.DataGrid.ColumnDescriptor>} */ ([ |
{id: "data", title: WebInspector.UIString("Data"), sortable: false, weight: 88}, |
{id: "length", title: WebInspector.UIString("Length"), sortable: false, align: WebInspector.DataGrid.Align.Right, weight: 5}, |
{id: "time", title: WebInspector.UIString("Time"), sortable: true, weight: 7} |
- ]; |
+ ]); |
this._dataGrid = new WebInspector.SortableDataGrid(columns, undefined, undefined, undefined, this._onContextMenu.bind(this)); |
this._dataGrid.setStickToBottom(true); |