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; |
}, |
/** |