rem: if (checked) menuItem.removeAttribute("checked"); else menuItem.setAttribute("checked", "true"); 
context: function EditorToggleParagraphMarks(){  var menuItem = document.getElementById("viewParagraphMarks");  if (menuItem)  {    var checked = menuItem.getAttribute("checked");    try {      editorShell.DisplayParagraphMarks(checked != "true");    }    catch(e)    {      dump("Failed to load style sheet for paragraph marks\n");      return;    }    if (checked)      menuItem.removeAttribute("checked");    else      menuItem.setAttribute("checked", "true");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/f349338175efd1186cabe034d2c54dd0005503fb/editor.js/buggy/editor/ui/composer/content/editor.js