fixed styling for unclosed token or line comment at end of a node.

Author: mikesamuel

src/prettify.js

@@ -245,7 +245,7 @@ function PR_attribToHtml(str) {
   return str.replace(/&/g, '&')
     .replace(/</g, '&lt;')
     .replace(/>/g, '&gt;')
-    .replace(/"/g, '&quot;')
+    .replace(/\"/g, '&quot;')
     .replace(/\xa0/, '&nbsp;');
 }
 
@@ -730,7 +730,20 @@ function PR_splitStringAndCommentTokens(chunks) {
     }
     k += s.length;
   }
-  tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN));  // a token ends at the end
+  var endTokenType;
+  switch (state) {
+    case 1: case 2:
+      endTokenType = PR_STRING;
+      break;
+    case 4: case 5: case 6:
+      endTokenType = PR_COMMENT;
+      break;
+    default:
+      endTokenType = PR_PLAIN;
+      break;
+  }
+  // handle unclosed token which can legally happen for line comments (state 4)
+  tokenEnds.push(new PR_TokenEnd(k, endTokenType));  // a token ends at the end
 
   return PR_splitChunks(chunks, tokenEnds);
 }

tests/prettify_test.html

@@ -293,6 +293,10 @@ <h1>HTML using XMP</h1>
 <h1>Whitespace</h1>
 <pre class=prettyprint id="whitespace"></pre>
 
+<h1>Misc</h1>
+<pre class=prettyprint id="misc1">// ends with line comment token
+//</pre>
+
 </body>
 
 <script type="text/javascript">
@@ -662,7 +666,9 @@ <h1>Whitespace</h1>
       '&nbsp; &nbsp; `END`END`TAG&lt;/script&gt;`END`PLN<br>' +
       '&nbsp; `END`TAG&lt;/body&gt;`END`PLN<br>' +
       '`END`TAG&lt;/html&gt;`END'),
-  whitespace: ''
+  whitespace: '',
+  misc1: '`COM// ends with line comment token`END`PLN<br>' +
+      '`END`COM//`END'
 };