rem: }; 
add: } 
context: qx.Proto._setBlueFromSpinner = function(){  if (this._updateContext !== null) {    return;  };  this._updateContext = qx.ui.component.ColorSelector.CONTEXT_RGB_SPINNER;  this.setBlue(this._rgbSpinBlue.getValue());  this._updateContext = null;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/ColorSelector.js/buggy/qooxdoo/source/script/qx/ui/component/ColorSelector.js