fix rendering of comments starting with `#`

This commit is contained in:
Raymond Hill 2018-02-28 19:16:19 -05:00
parent e5bb1eee1b
commit 273c80564a
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 2 additions and 2 deletions

View File

@ -30,13 +30,13 @@ CodeMirror.defineMode("ubo-static-filtering", function() {
return null; return null;
} }
stream.eatSpace(); stream.eatSpace();
var c = stream.peek(); var c = stream.next();
if ( c === '!' ) { if ( c === '!' ) {
stream.skipToEnd(); stream.skipToEnd();
return 'comment'; return 'comment';
} }
if ( c === '#' ) { if ( c === '#' ) {
c = stream.peek(); c = stream.next();
if ( c !== '#' && c !== '@' ) { if ( c !== '#' && c !== '@' ) {
stream.skipToEnd(); stream.skipToEnd();
return 'comment'; return 'comment';