context: function InitAlignMenu(){  var mixedObj = new Object();  // Note: GetAlignment DOESN'T set the "mixed" flag,  //  but always returns "left" in mixed state  // We'll pay attention to it here so it works when fixed  var state = editorShell.GetAlignment(mixedObj);  var IDSuffix;  if (!state)    IDSuffix = "left"  else    IDSuffix = state;    var menuItem = document.getElementById("menu_"+IDSuffix);  menuItem.setAttribute("checked", "true");  if (mixedObj.value)    menuItem.setAttribute("checked", "false");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/editor.js/clean/editor/ui/composer/content/editor.js