rem:  paned.td1.style.width = fraction + "%"; paned.td2.style.width = "auto"; 
context: function hop_vpaned_fraction_set( paned, fraction ) {   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/9c67b7a2ac8c77759253e0f1dbd200dfda613bd5/hop-paned.js/buggy/share/hop-paned.js