File: ini.xml

package info (click to toggle)
jedit 4.3.2%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 12,288 kB
  • ctags: 10,215
  • sloc: java: 88,754; xml: 81,655; makefile: 53; sh: 26
file content (20 lines) | stat: -rw-r--r-- 514 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
	<PROPS>
		<PROPERTY NAME="lineComment" VALUE=";" />
	</PROPS>
	<RULES HIGHLIGHT_DIGITS="TRUE">
		<SPAN TYPE="KEYWORD2" AT_LINE_START="TRUE">
			<BEGIN>[</BEGIN>
			<END>]</END>
		</SPAN>
		<EOL_SPAN TYPE="COMMENT1" AT_LINE_START="TRUE">;</EOL_SPAN>
		<EOL_SPAN TYPE="COMMENT1" AT_LINE_START="TRUE">#</EOL_SPAN>

		<MARK_PREVIOUS TYPE="KEYWORD1"
			AT_LINE_START="TRUE" MATCH_TYPE="OPERATOR">=</MARK_PREVIOUS>
	</RULES>
</MODE>