f.width -= w; if(pos=="left"){ f.left += w; }else{ elm.style.left = f.left + f.width + "px"; } } else if(pos=="flood" || pos=="client"){ if(child.resizeTo){ child.resizeTo(f.width, f.height); }else{ dojo.html.setMarginBox(elm, { width: f.width, 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"){ if(child.resizeTo){ child.resizeTo(f.width, f.height); }else{ dojo.html.setMarginBox(elm, { width: f.width, height: f.height }); } } }); 
dojo.widget.html.layout = function(/*DomNode*/ container, /*Object[]*/ children, /*String*/ layoutPriority) {  /**   * summary   *    Layout a bunch of child dom nodes within a parent dom node   * container:   *    parent node   * layoutPriority:   *    "top-bottom" or "left-right"   * children:   *    an array like [ {domNode: foo, layoutAlign: "bottom" }, {domNode: bar, layoutAlign: "client"} ]   */  dojo.html.addClass(container, "dojoLayoutContainer");  // Copy children array and remove elements w/out layout.  // Also record each child's position in the input array, for sorting purposes.  children = dojo.lang.filter(children, function(child, idx){    child.idx = idx;    return dojo.lang.inArray(["top","bottom","left","right","client","flood"], child.layoutAlign)  });  // Order the children according to layoutPriority.  // Multiple children w/the same layoutPriority will be sorted by their position in the input array.  if(layoutPriority && layoutPriority!="none"){    var rank = function(child){      switch(child.layoutAlign){        case "flood":          return 1;        case "left":        case "right":          return (layoutPriority=="left-right") ? 2 : 3;        case "top":        case "bottom":          return (layoutPriority=="left-right") ? 3 : 2;        default:          return 4;      }    };    children.sort(function(a,b){      return (rank(a)-rank(b)) || (a.idx - b.idx);    });  }  // remaining space (blank area where nothing has been written)  var f={    top: dojo.html.getPixelValue(container, "padding-top", true),    left: dojo.html.getPixelValue(container, "padding-left", true)  };  dojo.lang.mixin(f, dojo.html.getContentBox(container));  // set positions/sizes  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";      }      // TODO: for widgets I want to call resizeTo(), but I can't because      // I only want to set the width, and have the height determined      // dynamically.  (The thinner you make a div, the more height it consumes.)      if(child.onResized){        child.onResized();      }    }else if(pos=="left" || pos=="right"){      var w = dojo.html.getMarginBox(elm).width;      // TODO: I only want to set the height, not the width, but see bug#941 (FF),      // and also the resizeTo() function demands both height and width arguments      if(child.resizeTo){        child.resizeTo(w, f.height);      }else{        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"){      if(child.resizeTo){        child.resizeTo(f.width, f.height);      }else{        dojo.html.setMarginBox(elm, { width: f.width, height: f.height });      }    }  });};
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/65ae7e8768a77997b7894e274bc242069a1cb027/struts_dojo.js.uncompressed.js/clean/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js