rem: dump("***** SelectCharacter index of radio group ="+gIndex+"\n"); 
context: function SelectCharacter(radioGroupIndex){  gIndex = radioGroupIndex;dump("***** SelectCharacter index of radio group ="+gIndex+"\n");  SetElementEnabledById("SepCharacterInput", gIndex == gOtherIndex);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/2b4b02e4a18292276e0b6c3c69ae67147ca6df62/EdConvertToTable.js/clean/editor/ui/dialogs/content/EdConvertToTable.js