rem: push: function(undo, redo /* optional */, description /* optional */) { 
add: push: function(/*Function*/undo, /*Function?*/redo, /*String?*/description) {  
context: 	push: function(undo, redo /* optional */, description /* optional */) {		if(!undo) { return; }		if(this._currentManager == this) {			this._undoStack.push({				undo: undo,				redo: redo,				description: description			});		} else {			this._currentManager.push.apply(this._currentManager, arguments);		}		// adding a new undo-able item clears out the redo stack		this._redoStack = [];		this._updateStatus();	},
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/Manager.js/clean/www/resources/dojo-ajax/src/undo/Manager.js