rem: button.src = IMAGE_DIR + filename_prefix + "_button.png"; 
add: button.src = IMAGE_DIR + filename_prefix + "_button_down.png"; 
context:     connect( button, "onmouseup", function ( event ) {      if ( /_hover/.test( button.src ) )        button.src = IMAGE_DIR + filename_prefix + "_button_hover.png";      else        button.src = IMAGE_DIR + filename_prefix + "_button.png";    } );
meta: 4711	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4711/5554b1df179ccdbced8dda4bfb06d685c9f5beb6/Wiki.js/clean/static/js/Wiki.js