Index: Source/WebCore/inspector/front-end/SettingsScreen.js |
=================================================================== |
--- Source/WebCore/inspector/front-end/SettingsScreen.js (revision 134412) |
+++ Source/WebCore/inspector/front-end/SettingsScreen.js (working copy) |
@@ -267,6 +267,7 @@ |
p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Show user agent styles"), WebInspector.settings.showUserAgentStyles)); |
p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Word wrap"), WebInspector.settings.domWordWrap)); |
p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Show Shadow DOM"), WebInspector.settings.showShadowDOM)); |
+ p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Show rulers"), WebInspector.settings.showMetricsRulers)); |
p = this._appendSection(WebInspector.UIString("Rendering")); |
p.appendChild(this._createCheckboxSetting(WebInspector.UIString("Show paint rectangles"), WebInspector.settings.showPaintRects)); |