Index: Source/devtools/front_end/SettingsScreen.js |
diff --git a/Source/devtools/front_end/SettingsScreen.js b/Source/devtools/front_end/SettingsScreen.js |
index 65d14706266369e5daa2d3ea502efbe98cc2ef5c..7452f6ebf12b283dd24ab01e3dc325835aa00864 100644 |
--- a/Source/devtools/front_end/SettingsScreen.js |
+++ b/Source/devtools/front_end/SettingsScreen.js |
@@ -302,7 +302,7 @@ WebInspector.GenericSettingsTab = function() |
], WebInspector.settings.colorFormat); |
p.appendChild(colorFormatElement); |
p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show user agent styles"), WebInspector.settings.showUserAgentStyles)); |
- p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show user agent shadow DOM"), WebInspector.settings.showShadowDOM)); |
+ p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show user agent shadow DOM"), WebInspector.settings.showUAShadowDOM)); |
p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Word wrap"), WebInspector.settings.domWordWrap)); |
p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show rulers"), WebInspector.settings.showMetricsRulers)); |