add: } 
context: function SelectBulletStyle(){  // Save the selected index so when user changes  //   list style, restore index to associated list  if (ListType == "ul")    BulletStyleIndex = BulletStyleList.selectedIndex;  else if (ListType == "ol")    NumberStyleIndex = BulletStyleList.selectedIndex;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/49bc32c783f8e8fbf15d440f1587990451b05b6f/EdListProps.js/clean/editor/ui/dialogs/content/EdListProps.js