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

Source/WebCore/inspector/front-end/DOMAgent.js

 /*
  * Copyright (C) 2009, 2010 Google Inc. All rights reserved.
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
@@ skipping 1224 matching lines @@
     {
         DOMAgent.setInspectModeEnabled(enabled, this._buildHighlightConfig(), callback);
     },
 
     /**
      * @param {string=} mode
      */
     _buildHighlightConfig: function(mode)
     {
         mode = mode || "all";
-        var highlightConfig = { showInfo: mode === "all" };
+        var highlightConfig = { showInfo: mode === "all", showRulers: WebInspector.settings.showMetricsRulers.get() };
         if (mode === "all" || mode === "content")
             highlightConfig.contentColor = WebInspector.Color.PageHighlight.Content.toProtocolRGBA();
 
         if (mode === "all" || mode === "padding")
             highlightConfig.paddingColor = WebInspector.Color.PageHighlight.Padding.toProtocolRGBA();
 
         if (mode === "all" || mode === "border")
             highlightConfig.borderColor = WebInspector.Color.PageHighlight.Border.toProtocolRGBA();
 
         if (mode === "all" || mode === "margin")
@@ skipping 197 matching lines @@
     shadowRootPopped: function(hostId, rootId)
     {
         this._domAgent._childNodeRemoved(hostId, rootId);
     }
 }
 
 /**
  * @type {?WebInspector.DOMAgent}
  */
 WebInspector.domAgent = null;