rem: this._timerUndo = setTimeout(function() { editor._timerUndo = null; }, this.config.undoTimeout); 
add: function (str, l1, l2, l3) { return l1 + "-" + l2.toLowerCase() + l3; }).toLowerCase() + ".js"; 
context: 		this._timerUndo = setTimeout(function() {			editor._timerUndo = null;		}, this.config.undoTimeout);
meta: 6464	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6464/e24e57956b54251f4d7c3fbafdaf11632f94f326/htmlarea.js/buggy/web/imcms/htmlarea/htmlarea.js