PageRenderTime 44ms CodeModel.GetById 41ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre4/modes/tex.xml

#
XML | 92 lines | 69 code | 12 blank | 11 comment | 0 complexity | 7f1b41c3a38f66980592b5ed0f9e0e4e MD5 | raw file
 1<?xml version="1.0"?>
 2
 3<!DOCTYPE MODE SYSTEM "xmode.dtd">
 4
 5<MODE>
 6	<PROPS>
 7		<PROPERTY NAME="lineComment" VALUE="%" />
 8	</PROPS>
 9	<RULES>
10		<!-- $$...$$ -->
11		<SPAN TYPE="MARKUP" DELEGATE="MATH">
12			<BEGIN>$$</BEGIN>
13			<END>$$</END>
14		</SPAN>
15
16		<!-- $...$ -->
17		<SPAN TYPE="MARKUP" DELEGATE="MATH">
18			<BEGIN>$</BEGIN>
19			<END>$</END>
20		</SPAN>
21
22		<!-- \[...\] (LaTeX math mode) -->
23		<SPAN TYPE="MARKUP" DELEGATE="MATH">
24			<BEGIN>\[</BEGIN>
25			<END>\]</END>
26		</SPAN>
27
28		<!-- some commands must be handled specially -->
29		<SEQ TYPE="KEYWORD1">\$</SEQ>
30		<SEQ TYPE="KEYWORD1">\\</SEQ>
31		<SEQ TYPE="KEYWORD1">\%</SEQ>
32
33		<!-- \iffalse ... \fi - a block comment -->
34                <SPAN TYPE="COMMENT1">
35                        <BEGIN>\iffalse</BEGIN>
36                        <END>\fi</END>
37                </SPAN>
38
39		<!-- \... commands -->
40		<MARK_FOLLOWING TYPE="KEYWORD1">\</MARK_FOLLOWING>
41
42		<!-- comments -->
43		<EOL_SPAN TYPE="COMMENT1">%</EOL_SPAN>
44
45		<!-- word separators -->
46		<SEQ TYPE="OPERATOR">{</SEQ>
47		<SEQ TYPE="OPERATOR">}</SEQ>
48		<SEQ TYPE="OPERATOR">[</SEQ>
49		<SEQ TYPE="OPERATOR">]</SEQ>
50	</RULES>
51
52	<RULES SET="MATH" DEFAULT="MARKUP">
53		<!-- some commands must be handled specially -->
54		<SEQ TYPE="KEYWORD3">\$</SEQ>
55		<SEQ TYPE="KEYWORD3">\\</SEQ>
56		<SEQ TYPE="KEYWORD3">\%</SEQ>
57
58		<!-- \... commands -->
59		<MARK_FOLLOWING TYPE="KEYWORD3">\</MARK_FOLLOWING>
60
61		<!-- word separators -->
62		<SEQ TYPE="KEYWORD2">)</SEQ>
63		<SEQ TYPE="KEYWORD2">(</SEQ>
64		<SEQ TYPE="KEYWORD2">{</SEQ>
65		<SEQ TYPE="KEYWORD2">}</SEQ>
66		<SEQ TYPE="KEYWORD2">[</SEQ>
67		<SEQ TYPE="KEYWORD2">]</SEQ>
68		<SEQ TYPE="KEYWORD2">=</SEQ>
69		<SEQ TYPE="KEYWORD2">!</SEQ>
70		<SEQ TYPE="KEYWORD2">+</SEQ>
71		<SEQ TYPE="KEYWORD2">-</SEQ>
72		<SEQ TYPE="KEYWORD2">/</SEQ>
73		<SEQ TYPE="KEYWORD2">*</SEQ>
74		<SEQ TYPE="KEYWORD2">&gt;</SEQ>
75		<SEQ TYPE="KEYWORD2">&lt;</SEQ>
76		<SEQ TYPE="KEYWORD2">&amp;</SEQ>
77		<SEQ TYPE="KEYWORD2">|</SEQ>
78		<SEQ TYPE="KEYWORD2">^</SEQ>
79		<SEQ TYPE="KEYWORD2">~</SEQ>
80		<SEQ TYPE="KEYWORD2">.</SEQ>
81		<SEQ TYPE="KEYWORD2">,</SEQ>
82		<SEQ TYPE="KEYWORD2">;</SEQ>
83		<SEQ TYPE="KEYWORD2">?</SEQ>
84		<SEQ TYPE="KEYWORD2">:</SEQ>
85		<SEQ TYPE="KEYWORD2">'</SEQ>
86		<SEQ TYPE="KEYWORD2">"</SEQ>
87		<SEQ TYPE="KEYWORD2">`</SEQ>
88
89		<!-- comments -->
90		<EOL_SPAN TYPE="COMMENT1">%</EOL_SPAN>
91	</RULES>
92</MODE>