--- extras/antlr-jedit.xml~ 2003-03-01 23:28:04.000000000 +0200 +++ extras/antlr-jedit.xml 2003-03-01 23:38:17.000000000 +0200 @@ -16,9 +16,6 @@ </PROPS> <RULES DEFAULT="KEYWORD1"> - <!-- whitespace: (space and tab) --> - <WHITESPACE> </WHITESPACE> - <WHITESPACE> </WHITESPACE> <!-- antlr specific rules --> <SPAN DELEGATE="java::MAIN" TYPE="KEYWORD1"> @@ -97,9 +94,7 @@ </RULES> <RULES DEFAULT="KEYWORD2" SET="PRODUCTION"> - <!-- whitespace: (space and tab) --> - <WHITESPACE> </WHITESPACE> - <WHITESPACE> </WHITESPACE> + <!-- Silly comment --> <SEQ TYPE="COMMENT1">/**/</SEQ> @@ -149,9 +144,6 @@ </RULES> <RULES SET="KEYVALUE"> - <!-- whitespace: (space and tab) --> - <WHITESPACE> </WHITESPACE> - <WHITESPACE> </WHITESPACE> <SEQ TYPE="KEYWORD1">{</SEQ>