rem: if (this._splitter) 
add: if (this._splitter) 
context: qx.Proto.dispose = function() {  if (this.getDisposed()) {    return true;  }  if(this._firstArea)   {    this._firstArea.dispose();    this._firstArea = null;  }  if(this._secondArea)   {    this._secondArea.dispose();    this._secondArea = null;  }  if (this._splitter)   {    this._splitter.removeEventListener(qx.constant.Event.MOUSEDOWN, this._onSplitterMouseDownX, this);    this._splitter.removeEventListener(qx.constant.Event.MOUSEUP, this._onSplitterMouseMoveX, this);    this._splitter.removeEventListener(qx.constant.Event.MOUSEMOVE, this._onSplitterMouseUpX, this);    this._splitter.removeEventListener(qx.constant.Event.MOUSEDOWN, this._onSplitterMouseDownY, this);    this._splitter.removeEventListener(qx.constant.Event.MOUSEUP, this._onSplitterMouseMoveY, this);    this._splitter.removeEventListener(qx.constant.Event.MOUSEMOVE, this._onSplitterMouseUpY, this);    this._splitter.dispose();    this._splitter._pane = null;    this._splitter = null;  }    if (this._slider)   {    this._slider.dispose();    this._slider._pane = null;    this._slider = null;  }    if (this._knob)   {    this._knob.removeEventListener(qx.constant.Event.MOUSEDOWN, this._onSplitterMouseDownX, this);    this._knob.removeEventListener(qx.constant.Event.MOUSEUP, this._onSplitterMouseMoveX, this);    this._knob.removeEventListener(qx.constant.Event.MOUSEMOVE, this._onSplitterMouseUpX, this);    this._knob.removeEventListener(qx.constant.Event.MOUSEDOWN, this._onSplitterMouseDownY, this);    this._knob.removeEventListener(qx.constant.Event.MOUSEUP, this._onSplitterMouseMoveY, this);    this._knob.removeEventListener(qx.constant.Event.MOUSEMOVE, this._onSplitterMouseUpY, this);    this._knob.dispose();    this._knob = null;  }  return qx.ui.layout.BoxLayout.prototype.dispose.call(this);}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/eb8cef1df714648579e0569686b0235629233e4f/SplitPane.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/splitpane/SplitPane.js