rem: if (NumberStyleIndex != index) 
add: if (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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5b2e1ca0854dd0a61e6e2542201cfe6886385a02/EdListProps.js/buggy/editor/ui/dialogs/content/EdListProps.js