From c8d9336618b6037d3d2c88ed2aae7faaa2153a1f Mon Sep 17 00:00:00 2001 From: Giel van Schijndel Date: Sun, 25 May 2008 20:03:37 +0000 Subject: [PATCH] Update the Pygments WRF lexer for the changes done to the WRF file format in r5188:5189 git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@5190 4a71c877-e1ca-e34f-864e-861f7616d084 --- tools/pygments-lexers/warzone/__init__.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/pygments-lexers/warzone/__init__.py b/tools/pygments-lexers/warzone/__init__.py index 0a5f79746..b1d8c39c6 100644 --- a/tools/pygments-lexers/warzone/__init__.py +++ b/tools/pygments-lexers/warzone/__init__.py @@ -12,7 +12,9 @@ class WRFLexer(RegexLexer): (r'/\*', Comment.Multiline, 'comment'), (r'//.*?$', Comment.Singleline), (r'\bdirectory\b', Keyword), - (r'\bfile\b', Keyword, 'file_line'), + (r'\bfile\b', Keyword, 'resource_line'), + (r'\bdatabase\b', Keyword), + (r'\btable\b', Keyword, 'resource_line'), (r'"[^"]*"', String), (r'[ \t\n\x0d\x0a]+', Text), ], @@ -21,7 +23,7 @@ class WRFLexer(RegexLexer): (r'\*/', Comment.Multiline, '#pop'), (r'\*[^/]', Comment.Multiline), ], - 'file_line': [ + 'resource_line': [ (r'[ \t\n\x0d\x0a]+', Text), (r'\b.+?\b', Literal, '#pop'), ]