antlr/antlr-jedit.patch

34 lines
846 B
Diff
Raw Normal View History

--- 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>