Merge 133885 - Web Inspector: Add option to disable rulers (Elements panel)

Source/WebCore/inspector/InspectorOverlayPage.html

 <!--
  Copyright (C) 2012 Google Inc. All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions
  are met:
 
  1.  Redistributions of source code must retain the above copyright
      notice, this list of conditions and the following disclaimer.
  2.  Redistributions in binary form must reproduce the above copyright
@@ skipping 106 matching lines @@
 function drawPausedInDebuggerMessage(message)
 {
     var pausedInDebugger = document.getElementById("paused-in-debugger");
     pausedInDebugger.textContent = message;
     pausedInDebugger.style.visibility = "visible";
     document.body.classList.add("dimmed");
 }
 
 function _drawGrid(highlight, rulerAtRight, rulerAtBottom)
 {
+    if (!highlight.showRulers)
+        return;
     context.save();
 
     var width = canvas.width;
     var height = canvas.height;
 
     const gridSubStep = 5;
     const gridStep = 50;
 
     {
         // Draw X grid background
@@ skipping 259 matching lines @@
 
     context.restore();
 
     elementTitle.style.visibility = "visible";
     elementTitle.style.top = (boxY + 3) + "px";
     elementTitle.style.left = (boxX + 3) + "px";
 }
 
 function _drawRulers(highlight, rulerAtRight, rulerAtBottom)
 {
+    if (!highlight.showRulers)
+        return;
     context.save();
     var width = canvas.width;
     var height = canvas.height;
     context.strokeStyle = "rgba(128, 128, 128, 0.3)";
     context.lineWidth = 1;
     context.translate(0.5, 0.5);
     var leftmostXForY = {};
     var rightmostXForY = {};
     var topmostYForX = {};
     var bottommostYForX = {};
@@ skipping 143 matching lines @@
 </body>
 <canvas id="canvas" class="fill"></canvas>
 <div id="element-title">
   <span id="tag-name"></span><span id="node-id"></span><span id="class-name"></span>
   <span id="node-width"></span><span class="px">px</span><span class="px"> &#xD7; </span><span id="node-height"></span><span class="px">px</span>
 </div>
 <div id="right-gutter"></div>
 <div id="bottom-gutter"></div>
 <div id="log"></div>
 </html>