rem: }; }; 
add: } } 
context: qx.Proto.setProgressBarValue = function(vValue){  if(this.getShowProgressBar() && !this.getShowTime())  {    this._progressBar.setValue(vValue);  }  else  {    this.error("Can not manually increase the progress bar or a timer controlled splash screen.");  };};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/QxSplashScreen.js/buggy/qooxdoo/source/contributed/splashscreen_olsson/QxSplashScreen.js