var sizeLength = "${list.size()}"; if(sizeLength==‘‘){ sizeLength=0; } sizeLength=400*sizeLength+200+"px;"; sizeLength="height:"+sizeLength; // parent.document.getElementById("Main${toolId}").style.height="+sizeLength+"; parent.$(‘#Main${toolId}‘).attr(‘style‘,sizeLength);
时间: 2024-10-22 18:24:06