diff --git a/metaborg/pygments/lexers/meta/esv.py b/metaborg/pygments/lexers/meta/esv.py index eceb549..f8296cf 100644 --- a/metaborg/pygments/lexers/meta/esv.py +++ b/metaborg/pygments/lexers/meta/esv.py @@ -12,6 +12,7 @@ class ESVLexer(RegexLexer): (words(('module','imports', 'language','name','description','extensions','table','start','symbols','provider','observer','context', 'menus','menu','action','openeditor','source','meta','realtime', + 'shell','evaluation method','shell start symbol', 'line comment','block comment','fences'), suffix=r'\b'), Keyword), (r'"[^"^\n]*"', Literal.String), (r'[\.\,\|\[\]\(\)\{\}\<\>\;\:\*]', Text.Punctuation),