Home
last modified time | relevance | path

Searched refs:changeTabTitle (Results 1 – 4 of 4) sorted by relevance

/external/chromium_org/third_party/WebKit/Source/devtools/front_end/
DDrawer.js95 this._tabbedPane.changeTabTitle(tabId, title);
168 this._tabbedPane.changeTabTitle(id, title);
DTabbedEditorContainer.js440 this._tabbedPane.changeTabTitle(tabId, title);
DTabbedPane.js304 changeTabTitle: function(id, tabTitle) method in WebInspector.TabbedPane
DOverridesView.js114 this._tabbedPane.changeTabTitle(this._id, active ? this._name + " \u2713" : this._name);