Index: Source/devtools/front_end/common/Settings.js |
diff --git a/Source/devtools/front_end/common/Settings.js b/Source/devtools/front_end/common/Settings.js |
index 126022a6a250f2a4b058ff0b1b7a7463eaa2bc3d..e264cdcf783eddd8dadee50bed16f4944b26e212 100644 |
--- a/Source/devtools/front_end/common/Settings.js |
+++ b/Source/devtools/front_end/common/Settings.js |
@@ -283,7 +283,7 @@ WebInspector.BackendSetting.prototype = { |
function callback(error) |
{ |
if (error) { |
- WebInspector.console.log("Error applying setting " + this._name + ": " + error); |
+ WebInspector.messageSink.addErrorMessage("Error applying setting " + this._name + ": " + error); |
this._eventSupport.dispatchEventToListeners(this._name, this._value); |
return; |
} |