Searched refs:selectedTabId (Results 1 – 6 of 6) sorted by relevance
343 var selectedTabId = -1; variable346 selectedTabId = tabId;372 if (tabId == selectedTabId) {
175 var tabId = this._tabbedPane.selectedTabId;201 return this._tabbedPane.selectedTabId;
226 var panelName = this._tabbedPane.selectedTabId;229 var panel = this._panelDescriptors[this._tabbedPane.selectedTabId].panel();
88 get selectedTabId() getter in WebInspector.TabbedPane1159 var tabId = this._tabbedPane.selectedTabId;
82 this._lastSelectedTabSetting.set(this._tabbedPane.selectedTabId);
106 this._lastSelectedTabSetting.set(this._tabbedPane.selectedTabId);