add: var style; var focusedNode = Inspector.focusedDOMNode(); if (focusedNode.nodeType == Node.ELEMENT_NODE) style = focusedNode.ownerDocument.defaultView.getComputedStyle(focusedNode); if (!style || style.length == 0) { document.getElementById("noMetrics").style.display = null; document.getElementById("marginBoxTable").style.display = "none"; return; }  document.getElementById("noMetrics").style.display = "none"; document.getElementById("marginBoxTable").style.display = null;  setBoxMetrics(style, "margin", ""); setBoxMetrics(style, "border", "-width"); setBoxMetrics(style, "padding", "");  var size = style.getPropertyValue("width").replace(/px$/, "") + " \u00D7 " + style.getPropertyValue("height").replace(/px$/, ""); document.getElementById("content").textContent = size; 
context: function updateMetricsPane(){}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5650/9876c8cb243d403f8e138267b068a1d142ab9933/inspector.js/buggy/WebKit/WebInspector/webInspector/inspector.js