context: qx.Proto._syncSplitterSize = function(){  switch(this.getOrientation())  {    case qx.constant.Layout.ORIENTATION_HORIZONTAL:      this._splitter.setWidth(this.getSplitterSize());      if (this.knob != null){        this._knob.setTop(this.getFirstSize() - (this._knob.getHeight() / 2));      }      break;    case qx.constant.Layout.ORIENTATION_VERTICAL:      this._splitter.setHeight(this.getSplitterSize());      if (this.knob != null){        this._knob.setLeft(this.getFirstSize() - (this._knob.getWidth() / 2));      }      break;  }}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32797ee18a2c92a797417cb1392f24fa90943b97/SplitPane.js/clean/qooxdoo/frontend/framework/source/class/qx/ui/splitpane/SplitPane.js