| Index: third_party/WebKit/Source/devtools/front_end/ui/ReportView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/ReportView.js b/third_party/WebKit/Source/devtools/front_end/ui/ReportView.js
|
| index bd0806484cd5fae41bb67e0a27ec4db13e3c7ac7..16b63468e199a0224bed3b5614a1874a8d82fed0 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/ReportView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/ReportView.js
|
| @@ -14,11 +14,21 @@ UI.ReportView = class extends UI.VBox {
|
|
|
| var contentBox = this.contentElement.createChild('div', 'report-content-box');
|
| this._headerElement = contentBox.createChild('div', 'report-header vbox');
|
| - this._headerElement.createChild('div', 'report-title').textContent = title;
|
| + this._titleElement = this._headerElement.createChild('div', 'report-title');
|
| + this._titleElement.textContent = title;
|
|
|
| this._sectionList = contentBox.createChild('div', 'vbox');
|
| }
|
|
|
| + /**
|
| + * @param {string} title
|
| + */
|
| + setTitle(title) {
|
| + if (this._titleElement && this._titleElement.textContent === title)
|
| + return;
|
| + this._titleElement.textContent = title;
|
| + }
|
| +
|
| /**
|
| * @param {string} subtitle
|
| */
|
|
|