rem: cursor.style.width = "100%"; cursor.style.height = "100%"; 
add: hop_style_set( cursor, "width", "100%" ); hop_style_set( cursor, "height", "100%" ); 
context: function hop_make_hpaned( parent, id, klass, fraction, pan1, pan2 ) {   var document = parent.ownerDocument || parent.document;   var td1, td2, pcursor, cursor;   var tr1, tr2, tr3;      // the paned   var paned = document.createElement( "div" );   paned.className = klass,   paned.style.height = "inherit";   // the cursor   pcursor = document.createElement( "div" );   pcursor.className = "hop-paned-cursor";      // re-parent the two pans   parent.removeChild( pan1 );   parent.removeChild( pan2 );   paned.appendChild( pan1 );   paned.appendChild( pcursor );   paned.appendChild( pan2 );   cursor = document.createElement( "div" );   cursor.className = "hop-paned-cursoroff";   cursor.style.width = "100%";   cursor.style.height = "100%";      pcursor.appendChild( cursor );      pan1.style.visibility = "visible";   pan2.style.visibility = "visible";   paned.pan1 = pan1;   paned.pan2 = pan2;   paned.cursor = pcursor;      parent.appendChild( paned );   // cursor event handling   var mousemove = function( e ) {      if( e == undefined ) e = window.event;      hop_hpaned_mousemove( e, paned );   };   var delmousemove = function( e ) {      hop_remove_event_listener( document, "mousemove", mousemove, true );   };   cursor.onmouseover = function( e ) {      cursor.className = "hop-paned-cursoron";   };   cursor.onmouseout = function( e ) {      cursor.className = "hop-paned-cursoroff";   };   cursor.onmousedown = function( e ) {      hop_add_event_listener( document, "mousemove", mousemove, true );      hop_add_event_listener( document, "mouseup", delmousemove, true );      hop_add_event_listener( document, "onblur", delmousemove, true );   }         return paned;}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/6ca73f8db39b31f0ac4e3ee76255a79a86583465/hop-paned.js/clean/share/hop-paned.js