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 5f6d835006eb23b7bd4c962b50023784ba7ec52e..968851bff35316b1929db89cc624ee7250ab2aa1 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
@@ -465,6 +465,9 @@ WebInspector.TabbedPane.prototype = { |
this.resumeInvalidations(); |
}, |
+ /** |
+ * @override |
+ */ |
onResize: function() |
{ |
this._updateTabElements(); |
@@ -475,6 +478,9 @@ WebInspector.TabbedPane.prototype = { |
this._updateTabElements(); |
}, |
+ /** |
+ * @override |
+ */ |
wasShown: function() |
{ |
var effectiveTab = this._currentTab || this._tabsHistory[0]; |
@@ -928,6 +934,9 @@ WebInspector.TabbedPaneTab.prototype = { |
return this._title; |
}, |
+ /** |
+ * @param {string} title |
+ */ |
set title(title) |
{ |
if (title === this._title) |
@@ -987,6 +996,9 @@ WebInspector.TabbedPaneTab.prototype = { |
return this._view; |
}, |
+ /** |
+ * @param {!WebInspector.Widget} view |
+ */ |
set view(view) |
{ |
this._view = view; |
@@ -1000,6 +1012,9 @@ WebInspector.TabbedPaneTab.prototype = { |
return this._tooltip; |
}, |
+ /** |
+ * @param {string|undefined} tooltip |
+ */ |
set tooltip(tooltip) |
{ |
this._tooltip = tooltip; |