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 482e88b2159747ec139980552a2fb9705dfa3d7c..8cc2a7bb8ed9ccfcf763ac6878168ecca2d334c1 100644 |
--- a/Source/devtools/front_end/profiler/ProfilesPanel.js |
+++ b/Source/devtools/front_end/profiler/ProfilesPanel.js |
@@ -566,7 +566,7 @@ WebInspector.ProfilesPanel.prototype = { |
function didChangeInterval(error) |
{ |
if (error) |
- WebInspector.console.showErrorMessage(error); |
+ WebInspector.messageSink.addErrorMessage(error, true); |
} |
}, |
@@ -587,12 +587,12 @@ WebInspector.ProfilesPanel.prototype = { |
continue; |
extensions.push(extension); |
} |
- WebInspector.console.log(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '"))); |
+ WebInspector.messageSink.addMessage(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '"))); |
return; |
} |
if (!!profileType.profileBeingRecorded()) { |
- WebInspector.console.log(WebInspector.UIString("Can't load profile when other profile is recording.")); |
+ WebInspector.messageSink.addMessage(WebInspector.UIString("Can't load profile while another profile is recording.")); |
return; |
} |