Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
index bee8aaa16cba3d4ed2e954d88cb8da5d3dc217f6..5f6d835006eb23b7bd4c962b50023784ba7ec52e 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
@@ -59,14 +59,14 @@ WebInspector.TabbedPane = function() |
this._dropDownButton = this._createDropDownButton(); |
WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._zoomChanged, this); |
-} |
+}; |
/** @enum {symbol} */ |
WebInspector.TabbedPane.Events = { |
TabSelected: Symbol("TabSelected"), |
TabClosed: Symbol("TabClosed"), |
TabOrderChanged: Symbol("TabOrderChanged") |
-} |
+}; |
WebInspector.TabbedPane.prototype = { |
/** |
@@ -887,7 +887,7 @@ WebInspector.TabbedPane.prototype = { |
}, |
__proto__: WebInspector.VBox.prototype |
-} |
+}; |
/** |
* @constructor |
@@ -909,7 +909,7 @@ WebInspector.TabbedPaneTab = function(tabbedPane, id, title, closeable, view, to |
this._shown = false; |
/** @type {number} */ this._measuredWidth; |
/** @type {!Element|undefined} */ this._tabElement; |
-} |
+}; |
WebInspector.TabbedPaneTab.prototype = { |
/** |
@@ -1260,14 +1260,14 @@ WebInspector.TabbedPaneTab.prototype = { |
delete this._dragStartX; |
this._tabbedPane._updateTabSlider(); |
} |
-} |
+}; |
/** |
* @interface |
*/ |
WebInspector.TabbedPaneTabDelegate = function() |
{ |
-} |
+}; |
WebInspector.TabbedPaneTabDelegate.prototype = { |
/** |
@@ -1281,4 +1281,4 @@ WebInspector.TabbedPaneTabDelegate.prototype = { |
* @param {!WebInspector.ContextMenu} contextMenu |
*/ |
onContextMenu: function(tabId, contextMenu) { } |
-} |
+}; |