context: function constrainedWidthFromElement(width, element) {    if (width < element.clientWidth * 0.25)        width = element.clientWidth * 0.25;    else if (width > element.clientWidth * 0.75)        width = element.clientWidth * 0.75;    return width;}
meta: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/d586b7ff0620d35cbb672c0103d6e7402b2e2c66/debugger.js/clean/WebKitTools/Drosera/debugger.js