rem: paned.pan1.style.height = val; 
add: hop_style_set( paned.pan1, "height", val ); 
context: function hop_hpaned_mousemove( e, paned ) {   var val = e.clientY - hop_element_y( paned );   paned.pan1.style.height = val;}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/6ca73f8db39b31f0ac4e3ee76255a79a86583465/hop-paned.js/clean/share/hop-paned.js