rem: NumberStyleIndex = index; 
add:   gDialog.StartingNumberInput.value = ConvertStartAttrToUserString( ConvertUserStringToStartAttr(gNumberStyleIndex), index);  gNumberStyleIndex = index; 
context: function SelectBulletStyle(){  // Save the selected index so when user changes  //   list style, restore index to associated list  if (ListType == "ul")    BulletStyleIndex = gDialog.BulletStyleList.selectedIndex;  else if (ListType == "ol")  {    var index = gDialog.BulletStyleList.selectedIndex;    if (NumberStyleIndex != index)    {      NumberStyleIndex = index;      SetTextboxFocus(gDialog.StartingNumberInput);    }  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/492bf7efc7f84ef524f991fa61aa8cf57806bad7/EdListProps.js/clean/editor/ui/dialogs/content/EdListProps.js