| 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;
|
| }
|
|
|