rem: if( e == undefined ) e = window.event; 
context:    var mousemove = function( e ) {      if( e == undefined ) e = window.event;      hop_vpaned_mousemove( e, paned );   };
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/6ca73f8db39b31f0ac4e3ee76255a79a86583465/hop-paned.js/clean/share/hop-paned.js