| 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 fabeff2bce3efcb41de0fab528e95d24e5c23f3d..f2cd427dac10651ae150877bb1e8455b146a95e3 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;
|
| }
|
|
|
|
|