context: function InitListMenu(){  var mixedObj = new Object();  var state = editorShell.GetListState(mixedObj);  //dump("InitListMenu: state="+state+"\n");  var IDSuffix = "noList";    if (state.length > 0)  {    if (state == "dl")      state = editorShell.GetListItemState(mixedObj);    if (state.length > 0)      IDSuffix = state;  }  document.getElementById("menu_"+IDSuffix).setAttribute("checked", "true");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ad53c5a9b12dc84f1a64abd31b91ad7fc17fff05/editor.js/buggy/editor/ui/composer/content/editor.js