rem:  editorShell.DisplayParagraphMarks(checked == "true"); 
add: if (checked == "true") GetCurrentEditor().addOverrideStyleSheet(gParagraphMarksStyleSheet); else GetCurrentEditor().enableStyleSheet(gParagraphMarksStyleSheet, false); 
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 {      // XXX There's no non-editorshell equivalent yet for this:      editorShell.DisplayParagraphMarks(checked == "true");    }    catch(e) { return; }  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7ae5c1cecb9d426cbd8d08c86fe4b656a239ae18/editor.js/clean/editor/ui/composer/content/editor.js