rem: GetCurrentEditor().enableStyleSheet(gParagraphMarksStyleSheet, false); 
add: GetCurrentEditor().enableStyleSheet(kParagraphMarksStyleSheet, 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 {      if (checked == "true")        GetCurrentEditor().addOverrideStyleSheet(gParagraphMarksStyleSheet);      else        GetCurrentEditor().enableStyleSheet(gParagraphMarksStyleSheet, false);    }    catch(e) { return; }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/22d098a7174f48153b74dd770b2e40ab6f898f16/editor.js/buggy/editor/ui/composer/content/editor.js