rem:  dojo.html.setMarginBox(elm, { width: w, height: f.height }); 
add:    if(child.resizeTo){ child.resizeTo(w, f.height); }else{ dojo.html.setMarginBox(elm, { width: w, height: f.height }); } 
context: 	dojo.lang.forEach(children, function(child){		var elm=child.domNode;		var pos=child.layoutAlign;		// set elem to upper left corner of unused space; may move it later		with(elm.style){			left = f.left+"px";			top = f.top+"px";			bottom = "auto";			right = "auto";		}		dojo.html.addClass(elm, "dojoAlign" + dojo.string.capitalize(pos));		// set size && adjust record of remaining space.		// note that setting the width of a <div> may affect it's height.		// TODO: same is true for widgets but need to implement API to support that		if ( (pos=="top")||(pos=="bottom") ) {			dojo.html.setMarginBox(elm, { width: f.width });			var h = dojo.html.getMarginBox(elm).height;			f.height -= h;			if(pos=="top"){				f.top += h;			}else{				elm.style.top = f.top + f.height + "px";			}		}else if(pos=="left" || pos=="right"){			var w = dojo.html.getMarginBox(elm).width;			// width needs to be set for Firefox (#941)			dojo.html.setMarginBox(elm, { width: w, height: f.height });			f.width -= w;			if(pos=="left"){				f.left += w;			}else{				elm.style.left = f.left + f.width + "px";			}		} else if(pos=="flood" || pos=="client"){			dojo.html.setMarginBox(elm, { width: f.width, height: f.height });		}				// TODO: for widgets I want to call resizeTo(), but for top/bottom		// alignment I only want to set the width, and have the size determined		// dynamically.  (The thinner you make a div, the more height it consumes.)		if(child.onResized){			child.onResized();		}	});
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/layout.js/clean/www/resources/dojo-ajax/src/widget/html/layout.js