File: props.xml

package info (click to toggle)
jedit 4.5.2%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 12,252 kB
  • sloc: java: 90,581; xml: 88,372; makefile: 55; sh: 25
file content (28 lines) | stat: -rw-r--r-- 850 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
	<PROPS>
		<PROPERTY NAME="lineComment" VALUE="#" />
		<PROPERTY NAME="contextInsensitive" VALUE="true" />
	</PROPS>
	<RULES DEFAULT="KEYWORD1">
		<EOL_SPAN TYPE="COMMENT1" AT_LINE_START="TRUE">#</EOL_SPAN>
		<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE">=</EOL_SPAN>
		<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE">:</EOL_SPAN>
		<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE"> </EOL_SPAN>
		<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE">	</EOL_SPAN>
	</RULES>
	<RULES SET="PROP_VALUE" HIGHLIGHT_DIGITS="TRUE"
		DIGIT_RE="([\p{Digit}]+|#[\p{XDigit}]+)"
		NO_WORD_SEP="#">
		<!-- MessageFormat { ... } stuff -->
		<SPAN TYPE="KEYWORD3" NO_LINE_BREAK="TRUE">
			<BEGIN>{</BEGIN>
			<END>}</END>
		</SPAN>
		<!-- Sillyness -->
		<MARK_FOLLOWING TYPE="DIGIT">#</MARK_FOLLOWING>
	</RULES>
</MODE>