add: this.getBody = TinyMCEControl_getBody; this.getDoc = TinyMCEControl_getDoc; this.getWin = TinyMCEControl_getWin; this.getSel = TinyMCEControl_getSel; this.getRng = TinyMCEControl_getRng; 
context: function TinyMCEControl(settings) {	// Undo levels	this.undoLevels = new Array();	this.undoIndex = 0;	// Default settings	this.settings = settings;	this.settings['theme'] = tinyMCE.getParam("theme", "default");	this.settings['width'] = tinyMCE.getParam("width", -1);	this.settings['height'] = tinyMCE.getParam("height", -1);	// Functions	this.execCommand = TinyMCEControl_execCommand;	this.queryCommandValue = TinyMCEControl_queryCommandValue;	this.queryCommandState = TinyMCEControl_queryCommandState;	this.onAdd = TinyMCEControl_onAdd;	this.getFocusElement = TinyMCEControl_getFocusElement;	this.autoResetDesignMode = TinyMCEControl_autoResetDesignMode;	this._insertPara = TinyMCEControl__insertPara;	this._insertSpace = TinyMCEControl__insertSpace;	this._handleBackSpace = TinyMCEControl__handleBackSpace;	this.selectNode = TinyMCEControl_selectNode;}
meta: 1948	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1948/914f29b169169eaf678616905b5062afd73de30a/tiny_mce_src.js/buggy/www/extras/tinymce/jscripts/tiny_mce/tiny_mce_src.js