          this.onDisplayChanged(/*e*/); }, 
          this.onDisplayChanged(/*e*/); }, 
		onKeyPressed: function (e) {			// summary:			//		Fired after a keypress event has occured and it's action taken. This		 	//		is useful if action needs to be taken after text operations have finished			// Mozilla adds a single <p> with an embedded <br> when you hit enter once:			//   <p><br>\n</p>			// when you hit enter again it adds another <br> inside your enter			//   <p><br>\n<br>\n</p>			// and if you hit enter again it splits the <br>s over 2 <p>s			//   <p><br>\n</p>\n<p><br>\n</p>			// now this assumes that <p>s have double the line-height of <br>s to work			// and so we need to remove the <p>s to ensure the position of the cursor			// changes from the users perspective when they hit enter, as the second two			// html snippets render the same when margins are set to 0.			// TODO: doesn't really work; is this really needed?			//if (dojo.render.html.moz) {			//	for (var i = 0; i < this.document.getElementsByTagName("p").length; i++) {			//		var p = this.document.getElementsByTagName("p")[i];			//		if (p.innerHTML.match(/^<br>\s$/m)) {			//			while (p.hasChildNodes()) { p.parentNode.insertBefore(p.firstChild, p); }			//			p.parentNode.removeChild(p);			//		}			//	}			//}			this.onDisplayChanged(/*e*/); // can't pass in e		},
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js