Searched defs:profileType (Results 1 - 1 of 1) sorted by relevance

/external/chromium_org/third_party/WebKit/Source/devtools/front_end/
H A DProfilesPanel.js263 * @param {!WebInspector.ProfileType} profileType
267 WebInspector.ProfileHeader = function(profileType, title, uid)
269 this._profileType = profileType;
280 profileType: function()
482 var profileType = this._findProfileTypeByExtension(file.name);
483 if (!profileType) {
495 if (!!profileType.findTemporaryProfile()) {
500 var temporaryProfile = profileType.createTemporaryProfile(WebInspector.ProfilesPanelDescriptor.UserInitiatedProfileName + "." + file.name);
502 profileType.addProfile(temporaryProfile);
612 * @param {!WebInspector.ProfileType} profileType
[all...]

Completed in 85 milliseconds