add:   if (qx.sys.Client.getInstance().isMshtml()) { this.setWidth(this._getScrollBarWidth()); this.setOverflow(qx.constant.Style.OVERFLOW_HIDDEN); this._scrollBar.setWidth(this._getScrollBarWidth() + 1); this._scrollBar.setLeft(-1); } 
context: function(horizontal) {  qx.ui.layout.BoxLayout.call(this, horizontal ? qx.constant.Layout.ORIENTATION_HORIZONTAL : qx.constant.Layout.ORIENTATION_VERTICAL);  this._horizontal = (horizontal == true);  this._scrollBar = new qx.ui.layout.CanvasLayout;  if (qx.sys.Client.getInstance().isGecko()) {    // NOTE: We have to force not using position:absolute, because this causes    //     strange looking scrollbars in some cases (e.g. in Firefox under    //     Linux the horizontal scrollbar is too high)    this._scrollBar.setStyleProperty("position", "");  }  this._scrollBar.setOverflow(horizontal ? qx.constant.Style.OVERFLOW_HORIZONTAL : qx.constant.Style.OVERFLOW_VERTICAL);  this._scrollBar.enableInlineEvent(qx.constant.Event.SCROLL);  this._scrollBar.addEventListener(qx.constant.Event.SCROLL, this._onscroll, this);  this._scrollContent = new qx.ui.basic.Terminator;  if (qx.sys.Client.getInstance().isGecko()) {    this._scrollContent.setStyleProperty("position", "");  }  this._scrollBar.add(this._scrollContent);  if (this._horizontal) {    this._scrollContent.setHeight(5);    this._scrollBar.setWidth("100%");    this._scrollBar.setHeight(this._getScrollBarWidth());  } else {    this._scrollContent.setWidth(5);    this._scrollBar.setHeight("100%");    this._scrollBar.setWidth(this._getScrollBarWidth());  }  this.add(this._scrollBar);  this.setMaximum(0);});
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/022850e00edd878021f148005e5888ee73a6d6cb/ScrollBar.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/core/ScrollBar.js