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