| 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) { }
|
| -}
|
| +};
|
|
|