          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/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js