| Index: third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| diff --git a/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html b/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| index 6349c8cc3a9d99db201bf725a609f3a8c06b8445..da7b8d84159fdefe7e727a93d7e838faf3cc5a03 100644
|
| --- a/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| +++ b/third_party/WebKit/Source/core/inspector/InspectorOverlayPage.html
|
| @@ -598,29 +598,6 @@ function _drawGrid(context, rulerAtRight, rulerAtBottom)
|
| context.restore();
|
| }
|
|
|
| -function drawViewSize(drawViewSizeWithGrid)
|
| -{
|
| - var drawGridBoolean = drawViewSizeWithGrid === "true";
|
| - var text = viewportSize.width + "px \u00D7 " + viewportSize.height + "px";
|
| - context.save();
|
| - context.font = "20px ";
|
| - switch (platform) {
|
| - case "windows": context.font = "14px Consolas"; break;
|
| - case "mac": context.font = "14px Menlo"; break;
|
| - case "linux": context.font = "14px dejavu sans mono"; break;
|
| - }
|
| -
|
| - var frameWidth = canvasWidth;
|
| - var textWidth = context.measureText(text).width;
|
| - context.fillStyle = gridBackgroundColor;
|
| - context.fillRect(frameWidth - textWidth - 12, drawGridBoolean ? 15 : 0, frameWidth, 25);
|
| - context.fillStyle = darkGridColor;
|
| - context.fillText(text, frameWidth - textWidth - 6, drawGridBoolean ? 33 : 18);
|
| - context.restore();
|
| - if (drawGridBoolean)
|
| - _drawGrid(context);
|
| -}
|
| -
|
| function resetCanvas(canvasElement)
|
| {
|
| canvasElement.width = deviceScaleFactor * viewportSize.width;
|
|
|