Index: third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js b/third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js |
index f32c6ec1b14c9ad953e5f322b67ad6df5b8b5f7b..8db4ac9c6dd321bb33a4e675fd8282263d5ff1b2 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui_lazy/OverviewGrid.js |
@@ -44,7 +44,7 @@ WebInspector.OverviewGrid = function(prefix) |
this.element.appendChild(this._grid.element); |
this._window = new WebInspector.OverviewGrid.Window(this.element, this._grid.dividersLabelBarElement); |
-} |
+}; |
WebInspector.OverviewGrid.prototype = { |
/** |
@@ -133,7 +133,7 @@ WebInspector.OverviewGrid.prototype = { |
{ |
this._window.setEnabled(enabled); |
} |
-} |
+}; |
WebInspector.OverviewGrid.MinSelectableSize = 14; |
@@ -168,13 +168,13 @@ WebInspector.OverviewGrid.Window = function(parentElement, dividersLabelBarEleme |
this._leftCurtainElement = parentElement.createChild("div", "window-curtain-left"); |
this._rightCurtainElement = parentElement.createChild("div", "window-curtain-right"); |
this.reset(); |
-} |
+}; |
/** @enum {symbol} */ |
WebInspector.OverviewGrid.Events = { |
WindowChanged: Symbol("WindowChanged"), |
Click: Symbol("Click") |
-} |
+}; |
WebInspector.OverviewGrid.Window.prototype = { |
reset: function() |
@@ -427,7 +427,7 @@ WebInspector.OverviewGrid.Window.prototype = { |
}, |
__proto__: WebInspector.Object.prototype |
-} |
+}; |
/** |
* @constructor |
@@ -441,7 +441,7 @@ WebInspector.OverviewGrid.WindowSelector = function(parent, position) |
this._windowSelector.style.left = this._startPosition + "px"; |
this._windowSelector.style.right = this._width - this._startPosition + "px"; |
parent.appendChild(this._windowSelector); |
-} |
+}; |
WebInspector.OverviewGrid.WindowSelector.prototype = { |
_close: function(position) |
@@ -462,4 +462,4 @@ WebInspector.OverviewGrid.WindowSelector.prototype = { |
this._windowSelector.style.right = this._width - position + "px"; |
} |
} |
-} |
+}; |