resizeTo: function(w, h){ dojo.html.setMarginBox(this.domNode, { width: w, height: h });    if(this.isShowing()){ this.onResized(); } }, 
},resizeTo:function(w,h){ dojo.html.setMarginBox(this.domNode,{width:w,height:h}); if(this.isShowing()){ this.onResized(); } },resizeSoon:function(){ 
  resizeTo: function(w, h){    dojo.html.setMarginBox(this.domNode, { width: w, height: h });        // can't do sizing if widget is hidden because referencing node.offsetWidth/node.offsetHeight returns 0.    // do sizing on show() instead.    if(this.isShowing()){      this.onResized();    }  },
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js