rem: dialog.heightInput.value = globalElement.getAttribute("size"); 
add: dialog.heightInput.value = height; 
context: function InitDialog(){  // Just to be confusing, "size" is used instead of height  // We will use "height" here and in UI  dialog.heightInput.value = globalElement.getAttribute("size");  // Get the width attribute of the element, stripping out "%"  // This sets contents of combobox (adds pixel and percent option elements)  dialog.widthInput.value = InitPixelOrPercentCombobox(globalElement,"width","pixelOrPercentSelect");  align = globalElement.getAttribute("align");  if (align == "center") {    dialog.centerAlign.checked = true;  } else if (align == "right") {    dialog.rightAlign.checked = true;  } else {    dialog.leftAlign.checked = true;  }  noshade = globalElement.getAttribute("noshade");  dialog.shading.checked = (noshade == "");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/c3fb41fb30f0b8f6cd99e13b9820d3689da41069/EdHLineProps.js/clean/editor/ui/dialogs/content/EdHLineProps.js