rem: setTimeout( function () { self.resize(); if ( self.init_highlight ) self.highlight(); }, 50 ); 
add: connect( login_button, "onclick", function ( event ) { signal( self, "submit_form", "/users/login", login_form ); event.stop(); } ); 
context:     setTimeout( function () {      self.resize();      if ( self.init_highlight ) self.highlight();    }, 50 );
meta: 4711	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4711/f05d3db661a366bcf7ea7a0c52281e5942127d67/Editor.js/buggy/static/js/Editor.js