rem: catch(e) { dump("Failed to load style sheet for paragraph marks\n"); return; } 
add: catch(e) { return; } 
context: function EditorToggleParagraphMarks(){  var menuItem = document.getElementById("viewParagraphMarks");  if (menuItem)  {    // Note that the 'type="checbox"' mechanism automatically    //  toggles the "checked" state before the oncommand is called,    //  so if "checked" is true now, it was just switched to that mode    var checked = menuItem.getAttribute("checked");    try {      editorShell.DisplayParagraphMarks(checked == "true");    }    catch(e)    {      dump("Failed to load style sheet for paragraph marks\n");      return;    }  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/ad53c5a9b12dc84f1a64abd31b91ad7fc17fff05/editor.js/clean/editor/ui/composer/content/editor.js