| Index: Source/devtools/front_end/ui/TabbedPane.js
|
| diff --git a/Source/devtools/front_end/ui/TabbedPane.js b/Source/devtools/front_end/ui/TabbedPane.js
|
| index 39aebd60213cda869cca2fb52ffc132ebfb9f907..9d41fcb809499ff4dce2f712f6c5152d8075ce5d 100644
|
| --- a/Source/devtools/front_end/ui/TabbedPane.js
|
| +++ b/Source/devtools/front_end/ui/TabbedPane.js
|
| @@ -299,15 +299,16 @@ WebInspector.TabbedPane.prototype = {
|
| /**
|
| * @param {string} id
|
| * @param {boolean=} userGesture
|
| + * @return {boolean}
|
| */
|
| selectTab: function(id, userGesture)
|
| {
|
| var focused = this.hasFocus();
|
| var tab = this._tabsById[id];
|
| if (!tab)
|
| - return;
|
| + return false;
|
| if (this._currentTab && this._currentTab.id === id)
|
| - return;
|
| + return true;
|
|
|
| this._hideCurrentTab();
|
| this._showTab(tab);
|
| @@ -322,6 +323,7 @@ WebInspector.TabbedPane.prototype = {
|
|
|
| var eventData = { tabId: id, view: tab.view, isUserGesture: userGesture };
|
| this.dispatchEventToListeners(WebInspector.TabbedPane.EventTypes.TabSelected, eventData);
|
| + return true;
|
| },
|
|
|
| /**
|
|
|