Searched refs:UserInitiatedProfileName (Results 1 – 2 of 2) sorted by relevance
26 const UserInitiatedProfileName = "org.webkit.profiles.user-initiated"; constant162 if (profile.title.indexOf(UserInitiatedProfileName) !== 0) {262 if (title.indexOf(UserInitiatedProfileName) === 0) {263 … title = WebInspector.UIString("Profile %d", title.substring(UserInitiatedProfileName.length + 1));436 if (this.profile.title.indexOf(UserInitiatedProfileName) === 0)437 this._profileNumber = this.profile.title.substring(UserInitiatedProfileName.length + 1);454 if (this.profile.title.indexOf(UserInitiatedProfileName) === 0)
97 static const char* const UserInitiatedProfileName = "org.webkit.profiles.user-initiated"; variable1742 UString title = UserInitiatedProfileName; in startUserInitiatedProfiling()1759 UString title = UserInitiatedProfileName; in stopUserInitiatedProfiling()