| Index: third_party/WebKit/Source/devtools/front_end/main/RenderingOptions.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/main/RenderingOptions.js b/third_party/WebKit/Source/devtools/front_end/main/RenderingOptions.js
|
| index 60ac91c47afa515d6c68f034b2ce2715ca5e1a62..571d51a45eb988247b27f78f8d31127aad898dab 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/main/RenderingOptions.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/main/RenderingOptions.js
|
| @@ -46,7 +46,6 @@ WebInspector.RenderingOptionsView = function()
|
| this._appendCheckbox(WebInspector.UIString("Show FPS meter"), "setShowFPSCounter");
|
| var scrollingTitle = WebInspector.UIString("Shows areas of the page that slow down scrolling:\nTouch and mousewheel event listeners can delay scrolling.\nSome areas need to repaint their content when scrolled.");
|
| this._appendCheckbox(WebInspector.UIString("Show scrolling perf issues"), "setShowScrollBottleneckRects", scrollingTitle);
|
| - this._appendCheckbox(WebInspector.UIString("Show page size on resize"), "setShowViewportSizeOnResize");
|
|
|
| // CSS media.
|
| var mediaRow = this.contentElement.createChild("div", "media-row");
|
|
|