Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js |
index 08f9dd0960c239f20ff7c12e36e7719fb313f064..ded08340a05e7e2facece91d3c8e97639bcda517 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js |
+++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileHeader.js |
@@ -19,6 +19,14 @@ Profiler.ProfileHeader = class extends Common.Object { |
} |
/** |
+ * @param {string} title |
+ */ |
+ setTitle(title) { |
+ this.title = title; |
+ this.dispatchEventToListeners(Profiler.ProfileHeader.Events.ProfileTitleChanged, this); |
+ } |
+ |
+ /** |
* @return {!Profiler.ProfileType} |
*/ |
profileType() { |
@@ -108,5 +116,6 @@ Profiler.ProfileHeader.StatusUpdate = class { |
/** @enum {symbol} */ |
Profiler.ProfileHeader.Events = { |
UpdateStatus: Symbol('UpdateStatus'), |
- ProfileReceived: Symbol('ProfileReceived') |
+ ProfileReceived: Symbol('ProfileReceived'), |
+ ProfileTitleChanged: Symbol('ProfileTitleChanged') |
}; |