rem: HTMLArea._addEvent(el, "change", function () { editor._comboSelected(el, txt); }); 
add: this._timerUndo = setTimeout(function() { editor._timerUndo = null; }, this.config.undoTimeout); 
context:       HTMLArea._addEvent(el, "change", function () {        editor._comboSelected(el, txt);      });
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js