rem: paned.td1.style.width = fraction; paned.td2.style.width = "auto"; 
add: hop_style_set( paned.td1, "width", fraction ); hop_style_set( paned.td2, "width", "auto" ); 
context: function hop_vpaned_fraction_set( paned, fraction ) {   if( (fraction instanceof String) || (typeof fraction == "string") ) {      paned.td1.style.width = fraction;      paned.td2.style.width = "auto";   } else {      if( (fraction < 0) || (fraction > 100) ) {	 return;      }      paned.td1.style.width = fraction + "%";      paned.td2.style.width = "auto";   }   if( paned.fraction != fraction ) {      paned.fraction = fraction;      if( paned.onresize != undefined ) {	 paned.onresize();      }   }}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/6ca73f8db39b31f0ac4e3ee76255a79a86583465/hop-paned.js/clean/share/hop-paned.js