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