From 273c80564adb236bc6370e05e88b378865d696c9 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Wed, 28 Feb 2018 19:16:19 -0500
Subject: [PATCH] fix rendering of comments starting with `#`

---
 src/lib/codemirror/addon/mode/ubo-static-filtering.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/codemirror/addon/mode/ubo-static-filtering.js b/src/lib/codemirror/addon/mode/ubo-static-filtering.js
index 171cb9d57..d56d99dee 100644
--- a/src/lib/codemirror/addon/mode/ubo-static-filtering.js
+++ b/src/lib/codemirror/addon/mode/ubo-static-filtering.js
@@ -30,13 +30,13 @@ CodeMirror.defineMode("ubo-static-filtering", function() {
                 return null;
             }
             stream.eatSpace();
-            var c = stream.peek();
+            var c = stream.next();
             if ( c === '!' ) {
                 stream.skipToEnd();
                 return 'comment';
             }
             if ( c === '#' ) {
-                c = stream.peek();
+                c = stream.next();
                 if ( c !== '#' && c !== '@' ) {
                     stream.skipToEnd();
                     return 'comment';