A new user interface for you! Read more...

File antlr-jedit.patch of Package antlr

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