Chromium Code Reviews| 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 efaa794a2a450f32f90a3a8a6c5a707001dca8d2..a0b14dd6dcdd18534cfbc4007ea175e801cde26a 100644 |
| --- a/Source/devtools/front_end/common/Settings.js |
| +++ b/Source/devtools/front_end/common/Settings.js |
| @@ -84,6 +84,7 @@ WebInspector.Settings = function() |
| this.visiblePanels = this.createSetting("visiblePanels", {}); |
| this.shortcutPanelSwitch = this.createSetting("shortcutPanelSwitch", false); |
| this.showWhitespacesInEditor = this.createSetting("showWhitespacesInEditor", false); |
| + this.highlightChangedProperties = this.createSetting("highlightChangedProperties", false); |
|
pfeldman
2015/01/21 10:41:25
This should not be a setting, but rather an experi
sandipchitale
2015/01/22 07:46:33
Acknowledged.
|
| this.skipStackFramesPattern = this.createRegExpSetting("skipStackFramesPattern", ""); |
| this.skipContentScripts = this.createSetting("skipContentScripts", false); |
| this.pauseOnExceptionEnabled = this.createSetting("pauseOnExceptionEnabled", false); |