-
Notifications
You must be signed in to change notification settings - Fork 0
/
indentors.jl
62 lines (54 loc) · 2.88 KB
/
indentors.jl
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
const standard_indentors = [
Indentor(
precedence,
tokenize(open), tokenize(close),
open_replacement, close_replacement
)
for (precedence, open, close, open_replacement, close_replacement) in [
(3, ";;", ";;", "\\(", "\\)")
(3, "\$", "\$", "\\[", "\\]")
(2, "{", "}", "{", "}")
(2, "(", ")", "\\left(", "\\right)")
(2, "[", "]", "\\left[", "\\right]")
(2, "(", "]", "\\left(", "\\right]")
(2, "[", ")", "\\left[", "\\right)")
(2, ";{", ";}", "\\left\\{", "\\right\\}")
# ("\\(", "\\)", "(", ")")
# ("\\[", "\\]", "[", "]")
# ("\\{", "\\}", "{", "}")
(2, ";<", ";>", "\\left\\langle ", "\\right\\rangle ")
(2, "|_", "_|", "\\left\\lfloor ", "\\right\\rfloor ")
(2, "|^", "^|", "\\left\\lceil ", "\\right\\rceil ")
(2, "{", ")", "\\left ", "")
(2, "(", "}", "\\right ", "")
# === ESCAPED INDENTORS ===
(0, "\\(", "", "(", "")
(0, "\\)", "", ")", "")
(0, "\\[", "", "[", "")
(0, "\\]", "", "]", "")
(0, "\\{", "", "\\{", "")
(0, "\\}", "}", "\\}", "")
(0, "\\;<","", "\\langle ", "")
(0, "\\;>","", "\\rangle ", "")
(0, "\\|_","", "\\lfloor ", "")
(0, "\\_|","", "\\rfloor ", "")
(0, "\\|^","", "\\lceil ", "")
(0, "\\^|","", "\\rceil ", "")
# === DOCUMENT STUFF ===
(4, ";title", "\n", "\\title{", "}\n")
(4, ";title", "\n\n", "\\title{", "}\n\n")
(4, ";author", "\n", "\\author{", "}\n")
(4, ";author", "\n\n", "\\author{", "}\n\n")
(4, ";date", "\n", "\\date{", "}\n")
(4, ";date", "\n\n", "\\date{", "}\n\n")
(4, "####", "\n\n", "\\subsubsection{", "}\n")
(4, "####", "\n\n", "\\subsubsection{", "}\n\n")
(4, "###", "\n", "\\subsection{", "}\n")
(4, "###", "\n\n", "\\subsection{", "}\n\n")
(4, "##", "\n", "\\section{", "}\n")
(4, "##", "\n\n", "\\section{", "}\n\n")
(1, ";***", ";***", "\\textit{\\textbf{", "}}")
(1, ";**", ";**", "\\textbf{", "}")
(1, ";*", ";*", "\\textit{", "}")
]
]