rem: connect( this.hide_button, "onclick", function ( event ) { signal( self, "hide_clicked", event ); } ); 
add: connect( this.options_button, "onclick", function ( event ) { signal( self, "options_clicked", event ); } ); 
context:     connect( this.hide_button, "onclick", function ( event ) { signal( self, "hide_clicked", event ); } );
meta: 4711	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4711/f05d3db661a366bcf7ea7a0c52281e5942127d67/Editor.js/buggy/static/js/Editor.js