From 51faed52988b94d990dba0531099f189900f78c6 Mon Sep 17 00:00:00 2001
From: Bruno Guillaume <Bruno.Guillaume@loria.fr>
Date: Fri, 26 Jul 2024 15:44:28 +0200
Subject: [PATCH] Add "with" keyword

---
 src/components/codemirrors/GrewCodeMirror.vue | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/components/codemirrors/GrewCodeMirror.vue b/src/components/codemirrors/GrewCodeMirror.vue
index eecd062d..311e69ba 100644
--- a/src/components/codemirrors/GrewCodeMirror.vue
+++ b/src/components/codemirrors/GrewCodeMirror.vue
@@ -54,7 +54,7 @@ CodeMirror.defineMode('grew', () => {
       return 'operator';
     }
     stream.eatWhile(/\w/);
-    const cur = stream.current() as 'global' | 'pattern' | 'commands' | 'without';
+    const cur = stream.current() as 'global' | 'pattern' | 'commands' | 'without' | 'with';
     return words[cur] || 'variable';
   }