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