rem: this.undoLevels = new Array(); 
add: this.undoLevels = []; 
context: function TinyMCE_UndoRedo(inst) {	this.instance = inst;	this.undoLevels = new Array();	this.undoIndex = 0;	this.typingUndoIndex = -1;	this.undoRedo = true;};
meta: 3891	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3891/e8e3862e104280a24076077196c7b5713720de70/tiny_mce_src.js/buggy/plugins/editors/tinymce/jscripts/tiny_mce/tiny_mce_src.js