rem: }; 
add: } 
context: qx.Proto._getScrollBarWidth = function() {  // Auto-detect the scrollbar width  if (qx.ui.core.ScrollBar._scrollBarWidth == null) {    var dummy = document.createElement("div");    dummy.style.width = "100px";    dummy.style.height = "100px";    dummy.style.overflow = "scroll";    dummy.style.visibility = "hidden";    document.body.appendChild(dummy);    qx.ui.core.ScrollBar._scrollBarWidth = dummy.offsetWidth - dummy.clientWidth;    document.body.removeChild(dummy);  }  return qx.ui.core.ScrollBar._scrollBarWidth;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/ScrollBar.js/buggy/qooxdoo/source/script/qx/ui/core/ScrollBar.js