rem: } 
add: }; 
context: Effect.Fold = function(element) {  element = $(element);  var oldStyle = {    top: element.style.top,    left: element.style.left,    width: element.style.width,    height: element.style.height };  Element.makeClipping(element);  return new Effect.Scale(element, 5, Object.extend({       scaleContent: false,    scaleX: false,    afterFinishInternal: function(effect) {    new Effect.Scale(element, 1, {       scaleContent: false,       scaleY: false,      afterFinishInternal: function(effect) {        effect.element.hide();        effect.element.undoClipping();         effect.element.setStyle(oldStyle);      } });  }}, arguments[1] || {}));}
meta: 1227	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1227/bb2276098a5a21c35e5ee72b3097bd9d7caa919f/effects.js/clean/railties/html/javascripts/effects.js