| 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;
|
|
|