File: props.xml

package info (click to toggle)
jedit 5.1.0%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 13,632 kB
  • ctags: 10,965
  • sloc: java: 96,611; xml: 92,194; makefile: 55; sh: 30; cpp: 6; python: 6
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>