Home | History | Annotate | Download | only in jedit 
      1 <?xml version="1.0"?>
      2 <!DOCTYPE MODE SYSTEM "xmode.dtd">
      3 <MODE>
      4 	<PROPS>
      5 		<PROPERTY NAME="lineComment" VALUE="//" />
      6 		<PROPERTY NAME="commentStart" VALUE="/*" />
      7 		<PROPERTY NAME="commentEnd" VALUE="*/" />
      8 		<PROPERTY NAME="indentOpenBrackets" VALUE="{" />
      9 		<PROPERTY NAME="indentCloseBrackets" VALUE="}" />
     10 		<PROPERTY NAME="wordBreakChars" VALUE=",+-=&lt;&gt;/?^&amp;*" />
     11 		<PROPERTY NAME="unalignedOpenBrackets" VALUE="(&lt;" />
     12 		<PROPERTY NAME="unalignedCloseBrackets" VALUE=")&gt;" />
     13 	</PROPS>
     14 	<RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
     15 		<EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN>
     16 		<SPAN TYPE="COMMENT1">
     17 		    <BEGIN>/*</BEGIN>
     18 		    <END>*/</END>
     19 		</SPAN>
     20 		<SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE" ESCAPE="\">
     21 		    <BEGIN>"</BEGIN>
     22 		    <END>"</END>
     23 		</SPAN>
     24 		<KEYWORDS>
     25 			<KEYWORD1>let</KEYWORD1>
     26 			<KEYWORD1>def</KEYWORD1>
     27 			<KEYWORD1>class</KEYWORD1>
     28 			<KEYWORD1>include</KEYWORD1>
     29 
     30 			<KEYWORD3>bit</KEYWORD3>
     31 			<KEYWORD3>int</KEYWORD3>
     32 			<KEYWORD3>string</KEYWORD3>
     33 			<KEYWORD3>bits</KEYWORD3>
     34 			<KEYWORD3>list</KEYWORD3>
     35 			<KEYWORD3>dag</KEYWORD3>
     36 			<KEYWORD3>code</KEYWORD3>
     37 		</KEYWORDS>
     38 	</RULES>
     39 </MODE>
     40