| 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')
|
| };
|
|
|