Tweak IE newline handling

Author: mikesamuel@gmail.com

js-modules/recombineTagsAndDecorations.js

@@ -69,7 +69,7 @@ function recombineTagsAndDecorations(job) {
     var textNode = spans[spanIndex + 1];
     if (textNode.nodeType !== 1) {  // Don't muck with <BR>s or <LI>s
       var styledText = source.substring(sourceIndex, end);
-      if (isIE) { styledText = styledText.replace(newlineRe, '\r\n'); }
+      if (isIE) { styledText = styledText.replace(newlineRe, '\r'); }
       textNode.nodeValue = styledText;
       var document = textNode.ownerDocument;
       var span = document.createElement('SPAN');

src/prettify.js

@@ -1066,7 +1066,7 @@ window['PR']
       var textNode = spans[spanIndex + 1];
       if (textNode.nodeType !== 1) {  // Don't muck with <BR>s or <LI>s
         var styledText = source.substring(sourceIndex, end);
-        if (isIE) { styledText = styledText.replace(newlineRe, '\r\n'); }
+        if (isIE) { styledText = styledText.replace(newlineRe, '\r'); }
         textNode.nodeValue = styledText;
         var document = textNode.ownerDocument;
         var span = document.createElement('SPAN');