rem: connect( editor, "hide_clicked", function ( event ) { self.hide_editor( event, editor ) } ); 
add: connect( editor, "options_clicked", function ( event ) { self.toggle_editor_options( event, editor ) } ); 
context:   connect( editor, "hide_clicked", function ( event ) { self.hide_editor( event, editor ) } );
meta: 4711	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4711/5554b1df179ccdbced8dda4bfb06d685c9f5beb6/Wiki.js/clean/static/js/Wiki.js