| Index: Source/devtools/front_end/profiler/ProfilesPanel.js
|
| diff --git a/Source/devtools/front_end/profiler/ProfilesPanel.js b/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| index 4ca683d838e528b5c441dd0bab8e2f7f58dc6216..03a400edce600f6962b92dc2eb0d60d5e5ce7a99 100644
|
| --- a/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| +++ b/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| @@ -612,12 +612,12 @@ WebInspector.ProfilesPanel.prototype = {
|
| continue;
|
| extensions.push(extension);
|
| }
|
| - WebInspector.console.addErrorMessage(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '")));
|
| + WebInspector.console.error(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '")));
|
| return;
|
| }
|
|
|
| if (!!profileType.profileBeingRecorded()) {
|
| - WebInspector.console.addErrorMessage(WebInspector.UIString("Can't load profile while another profile is recording."));
|
| + WebInspector.console.error(WebInspector.UIString("Can't load profile while another profile is recording."));
|
| return;
|
| }
|
|
|
|
|