ultraviolet 0.9.0 → 0.10.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/History.txt +9 -0
- data/Manifest.txt +23 -2
- data/bin/theme2latexrender +143 -0
- data/bin/{theme2render → theme2xhtmlrender} +67 -9
- data/bin/uv +28 -51
- data/lib/uv.rb +14 -9
- data/lib/uv/html_processor.rb +23 -7
- data/render/latex/active4d.render +132 -0
- data/render/latex/all_hallows_eve.render +96 -0
- data/render/latex/amy.render +171 -0
- data/render/latex/blackboard.render +111 -0
- data/render/latex/brilliance_black.render +602 -0
- data/render/latex/brilliance_dull.render +561 -0
- data/render/latex/cobalt.render +162 -0
- data/render/latex/dawn.render +126 -0
- data/render/latex/eiffel.render +132 -0
- data/render/latex/espresso_libre.render +123 -0
- data/render/latex/idle.render +93 -0
- data/render/latex/iplastic.render +99 -0
- data/render/latex/lazy.render +96 -0
- data/render/latex/mac_classic.render +135 -0
- data/render/latex/magicwb_amiga.render +117 -0
- data/render/latex/pastels_on_dark.render +204 -0
- data/render/latex/slush_poppies.render +123 -0
- data/render/latex/spacecadet.render +81 -0
- data/render/latex/sunburst.render +186 -0
- data/render/latex/twilight.render +153 -0
- data/render/latex/zenburnesque.render +126 -0
- data/render/xhtml/active4d.render +35 -0
- data/render/xhtml/all_hallows_eve.render +35 -0
- data/render/xhtml/amy.render +35 -0
- data/render/xhtml/blackboard.render +35 -0
- data/render/xhtml/brilliance_black.render +35 -0
- data/render/xhtml/brilliance_dull.render +35 -0
- data/render/xhtml/cobalt.render +35 -0
- data/render/xhtml/dawn.render +35 -0
- data/render/xhtml/eiffel.render +35 -0
- data/render/xhtml/espresso_libre.render +35 -0
- data/render/xhtml/idle.render +35 -0
- data/render/xhtml/iplastic.render +35 -0
- data/render/xhtml/lazy.render +35 -0
- data/render/xhtml/mac_classic.render +35 -0
- data/render/xhtml/magicwb_amiga.render +35 -0
- data/render/xhtml/pastels_on_dark.render +35 -0
- data/render/xhtml/slush_poppies.render +35 -0
- data/render/xhtml/spacecadet.render +35 -0
- data/render/xhtml/sunburst.render +35 -0
- data/render/xhtml/twilight.render +35 -0
- data/render/xhtml/zenburnesque.render +35 -0
- metadata +27 -5
data/lib/uv/html_processor.rb
CHANGED
|
@@ -9,10 +9,11 @@ module Uv
|
|
|
9
9
|
attr_reader :string
|
|
10
10
|
attr_accessor :escapeHTML
|
|
11
11
|
|
|
12
|
-
def initialize render_options, line_numbers = false, score_manager = nil
|
|
12
|
+
def initialize render_options, line_numbers = false, headers = true, score_manager = nil
|
|
13
13
|
@score_manager = score_manager || @@score_manager
|
|
14
14
|
@render_options = render_options
|
|
15
15
|
@options = {}
|
|
16
|
+
@headers = headers
|
|
16
17
|
@line_numbers = line_numbers
|
|
17
18
|
@escapeHTML = true
|
|
18
19
|
end
|
|
@@ -22,6 +23,8 @@ module Uv
|
|
|
22
23
|
@string = ""
|
|
23
24
|
@line = nil
|
|
24
25
|
@line_number = 0
|
|
26
|
+
print @render_options["document"]["begin"] if @headers
|
|
27
|
+
print @render_options["listing"]["begin"]
|
|
25
28
|
end
|
|
26
29
|
|
|
27
30
|
def print string
|
|
@@ -29,8 +32,10 @@ module Uv
|
|
|
29
32
|
end
|
|
30
33
|
|
|
31
34
|
def escape string
|
|
32
|
-
if @
|
|
33
|
-
|
|
35
|
+
if @render_options["filter"]
|
|
36
|
+
@escaped = string
|
|
37
|
+
@escaped = self.instance_eval( @render_options["filter"] )
|
|
38
|
+
@escaped
|
|
34
39
|
else
|
|
35
40
|
string
|
|
36
41
|
end
|
|
@@ -38,14 +43,14 @@ module Uv
|
|
|
38
43
|
|
|
39
44
|
def open_tag name, position
|
|
40
45
|
@stack << name
|
|
41
|
-
print escape(@line[@position...position]) if position > @position
|
|
46
|
+
print escape(@line[@position...position].gsub(/\n|\r/, '')) if position > @position
|
|
42
47
|
@position = position
|
|
43
48
|
opt = options
|
|
44
49
|
print opt["begin"] if opt
|
|
45
50
|
end
|
|
46
51
|
|
|
47
52
|
def close_tag name, position
|
|
48
|
-
print escape(@line[@position...position]) if position > @position
|
|
53
|
+
print escape(@line[@position...position].gsub(/\n|\r/, '')) if position > @position
|
|
49
54
|
@position = position
|
|
50
55
|
opt = options
|
|
51
56
|
print opt["end"] if opt
|
|
@@ -53,10 +58,15 @@ module Uv
|
|
|
53
58
|
end
|
|
54
59
|
|
|
55
60
|
def new_line line
|
|
56
|
-
|
|
61
|
+
if @line
|
|
62
|
+
print escape(@line[@position..-1].gsub(/\n|\r/, ''))
|
|
63
|
+
print @render_options["line"]["end"]
|
|
64
|
+
print "\n"
|
|
65
|
+
end
|
|
57
66
|
@position = 0
|
|
58
67
|
@line_number += 1
|
|
59
68
|
@line = line
|
|
69
|
+
print @render_options["line"]["begin"]
|
|
60
70
|
if @line_numbers
|
|
61
71
|
print @render_options["line-numbers"]["begin"]
|
|
62
72
|
print @line_number.to_s.rjust(4).ljust(5)
|
|
@@ -66,12 +76,18 @@ module Uv
|
|
|
66
76
|
end
|
|
67
77
|
|
|
68
78
|
def end_parsing
|
|
69
|
-
|
|
79
|
+
if @line
|
|
80
|
+
print escape(@line[@position..-1].gsub(/\n|\r/, ''))
|
|
81
|
+
print @render_options["line"]["end"]
|
|
82
|
+
print "\n"
|
|
83
|
+
end
|
|
70
84
|
while ! @stack.empty?
|
|
71
85
|
opt = options
|
|
72
86
|
print opt["end"] if opt
|
|
73
87
|
@stack.pop
|
|
74
88
|
end
|
|
89
|
+
print @render_options["listing"]["end"]
|
|
90
|
+
print @render_options["document"]["end"] if @headers
|
|
75
91
|
end
|
|
76
92
|
|
|
77
93
|
def options
|
|
@@ -0,0 +1,132 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: Active4D
|
|
3
|
+
line:
|
|
4
|
+
begin: ""
|
|
5
|
+
end: "}}\\\\"
|
|
6
|
+
tags:
|
|
7
|
+
- begin: \colorbox[HTML]{F4F6FF}{
|
|
8
|
+
end: "}"
|
|
9
|
+
selector: text.html source.active4d
|
|
10
|
+
- begin: "{\\color[HTML]{000000}"
|
|
11
|
+
end: "}"
|
|
12
|
+
selector: text.xml
|
|
13
|
+
- begin: "{\\color[HTML]{D33535}"
|
|
14
|
+
end: "}"
|
|
15
|
+
selector: comment.line
|
|
16
|
+
- begin: "{\\color[HTML]{D33435}"
|
|
17
|
+
end: "}"
|
|
18
|
+
selector: comment.block
|
|
19
|
+
- begin: "{\\color[HTML]{666666}"
|
|
20
|
+
end: "}"
|
|
21
|
+
selector: string
|
|
22
|
+
- begin: "{\\color[HTML]{66CCFF}\\textbf{"
|
|
23
|
+
end: "}}"
|
|
24
|
+
selector: string.interpolated variable
|
|
25
|
+
- begin: "{\\color[HTML]{A8017E}"
|
|
26
|
+
end: "}"
|
|
27
|
+
selector: constant.numeric
|
|
28
|
+
- begin: "{"
|
|
29
|
+
end: "}"
|
|
30
|
+
selector: constant.character, constant.other
|
|
31
|
+
- begin: "{\\color[HTML]{66CCFF}\\textbf{"
|
|
32
|
+
end: "}}"
|
|
33
|
+
selector: constant.other.date, constant.other.time
|
|
34
|
+
- begin: "{\\color[HTML]{A535AE}"
|
|
35
|
+
end: "}"
|
|
36
|
+
selector: constant.language
|
|
37
|
+
- begin: "{\\color[HTML]{6392FF}\\textbf{"
|
|
38
|
+
end: "}}"
|
|
39
|
+
selector: variable.other.local
|
|
40
|
+
- begin: "{\\color[HTML]{0053FF}\\textbf{"
|
|
41
|
+
end: "}}"
|
|
42
|
+
selector: variable
|
|
43
|
+
- begin: "{\\color[HTML]{0BB600}"
|
|
44
|
+
end: "}"
|
|
45
|
+
selector: variable.other.table-field
|
|
46
|
+
- begin: "{\\color[HTML]{006699}\\textbf{"
|
|
47
|
+
end: "}}"
|
|
48
|
+
selector: keyword
|
|
49
|
+
- begin: "{"
|
|
50
|
+
end: "}"
|
|
51
|
+
selector: keyword.operator
|
|
52
|
+
- begin: "{\\color[HTML]{FF5600}"
|
|
53
|
+
end: "}"
|
|
54
|
+
selector: storage
|
|
55
|
+
- begin: "{\\color[HTML]{21439C}"
|
|
56
|
+
end: "}"
|
|
57
|
+
selector: entity.name.type
|
|
58
|
+
- begin: "{"
|
|
59
|
+
end: "}"
|
|
60
|
+
selector: entity.other.inherited-class
|
|
61
|
+
- begin: "{\\color[HTML]{21439C}"
|
|
62
|
+
end: "}"
|
|
63
|
+
selector: entity.name.function
|
|
64
|
+
- begin: "{"
|
|
65
|
+
end: "}"
|
|
66
|
+
selector: variable.parameter
|
|
67
|
+
- begin: "{\\color[HTML]{7A7A7A}"
|
|
68
|
+
end: "}"
|
|
69
|
+
selector: meta.tag
|
|
70
|
+
- begin: "{\\color[HTML]{016CFF}"
|
|
71
|
+
end: "}"
|
|
72
|
+
selector: entity.name.tag
|
|
73
|
+
- begin: "{\\color[HTML]{963DFF}"
|
|
74
|
+
end: "}"
|
|
75
|
+
selector: entity.other.attribute-name
|
|
76
|
+
- begin: "{\\color[HTML]{45AE34}\\textbf{"
|
|
77
|
+
end: "}}"
|
|
78
|
+
selector: support.function
|
|
79
|
+
- begin: "{\\color[HTML]{B7734C}"
|
|
80
|
+
end: "}"
|
|
81
|
+
selector: support.constant
|
|
82
|
+
- begin: "{\\color[HTML]{A535AE}"
|
|
83
|
+
end: "}"
|
|
84
|
+
selector: support.type, support.class
|
|
85
|
+
- begin: "{\\color[HTML]{A535AE}"
|
|
86
|
+
end: "}"
|
|
87
|
+
selector: support.variable
|
|
88
|
+
- begin: \colorbox[HTML]{990000}{\color[HTML]{FFFFFF}
|
|
89
|
+
end: "}"
|
|
90
|
+
selector: invalid
|
|
91
|
+
- begin: \colorbox[HTML]{656565}{\color[HTML]{FFFFFF}
|
|
92
|
+
end: "}"
|
|
93
|
+
selector: meta.diff
|
|
94
|
+
- begin: \colorbox[HTML]{1B63FF}{\color[HTML]{FFFFFF}
|
|
95
|
+
end: "}"
|
|
96
|
+
selector: meta.diff.range
|
|
97
|
+
- begin: \colorbox[HTML]{FF7880}{\color[HTML]{000000}
|
|
98
|
+
end: "}"
|
|
99
|
+
selector: markup.deleted.diff
|
|
100
|
+
- begin: \colorbox[HTML]{98FF9A}{\color[HTML]{000000}
|
|
101
|
+
end: "}"
|
|
102
|
+
selector: markup.inserted.diff
|
|
103
|
+
- begin: "{\\color[HTML]{5E5E5E}"
|
|
104
|
+
end: "}"
|
|
105
|
+
selector: source.diff
|
|
106
|
+
listing:
|
|
107
|
+
begin: |
|
|
108
|
+
\newcolumntype{C}{>{\color[HTML]{000000}\columncolor[HTML]{FFFFFF}}l}
|
|
109
|
+
\newcolumntype{N}{>{\color[HTML]{000000}\columncolor[HTML]{BAD6FD}}l}
|
|
110
|
+
\begin{longtable}{NC}
|
|
111
|
+
|
|
112
|
+
end: |
|
|
113
|
+
\end{longtable}
|
|
114
|
+
|
|
115
|
+
document:
|
|
116
|
+
begin: |
|
|
117
|
+
\documentclass[a4paper,landscape]{article}
|
|
118
|
+
\usepackage{xcolor}
|
|
119
|
+
\usepackage{colortbl}
|
|
120
|
+
\usepackage{longtable}
|
|
121
|
+
\usepackage[left=2cm,top=1cm,right=3cm,nohead,nofoot]{geometry}
|
|
122
|
+
\usepackage[T1]{fontenc}
|
|
123
|
+
\usepackage[scaled]{beramono}
|
|
124
|
+
\begin{document}
|
|
125
|
+
|
|
126
|
+
end: |
|
|
127
|
+
\end{document}
|
|
128
|
+
|
|
129
|
+
filter: "@escaped.gsub(/(_|\\{|\\}|&|\\#|\\\\)/, '\\\\\\\\\\1').gsub(/~/, '\\\\textasciitilde').gsub(/ /,'\\\\hspace{1ex}').gsub(/\\t/,'\\\\hspace{3ex}')"
|
|
130
|
+
line-numbers:
|
|
131
|
+
begin: \texttt{
|
|
132
|
+
end: "}&\\mbox{\\texttt{"
|
|
@@ -0,0 +1,96 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: All Hallow's Eve
|
|
3
|
+
line:
|
|
4
|
+
begin: ""
|
|
5
|
+
end: "}}\\\\"
|
|
6
|
+
tags:
|
|
7
|
+
- begin: \colorbox[HTML]{434242}{\color[HTML]{FFFFFF}
|
|
8
|
+
end: "}"
|
|
9
|
+
selector: text
|
|
10
|
+
- begin: \colorbox[HTML]{000000}{\color[HTML]{FFFFFF}
|
|
11
|
+
end: "}"
|
|
12
|
+
selector: source
|
|
13
|
+
- begin: "{\\color[HTML]{9933CC}"
|
|
14
|
+
end: "}"
|
|
15
|
+
selector: comment
|
|
16
|
+
- begin: "{\\color[HTML]{3387CC}"
|
|
17
|
+
end: "}"
|
|
18
|
+
selector: constant
|
|
19
|
+
- begin: "{\\color[HTML]{CC7833}"
|
|
20
|
+
end: "}"
|
|
21
|
+
selector: keyword
|
|
22
|
+
- begin: "{\\color[HTML]{D0D0FF}"
|
|
23
|
+
end: "}"
|
|
24
|
+
selector: meta.preprocessor.c
|
|
25
|
+
- begin: "{"
|
|
26
|
+
end: "}"
|
|
27
|
+
selector: keyword.control.import
|
|
28
|
+
- begin: "{"
|
|
29
|
+
end: "}"
|
|
30
|
+
selector: entity.name.function
|
|
31
|
+
- begin: "{\\textit{"
|
|
32
|
+
end: "}}"
|
|
33
|
+
selector: variable.parameter
|
|
34
|
+
- begin: \colorbox[HTML]{9B9B9B}{\color[HTML]{FFFFFF}
|
|
35
|
+
end: "}"
|
|
36
|
+
selector: source comment.block
|
|
37
|
+
- begin: "{\\color[HTML]{66CC33}"
|
|
38
|
+
end: "}"
|
|
39
|
+
selector: string
|
|
40
|
+
- begin: "{\\color[HTML]{AAAAAA}"
|
|
41
|
+
end: "}"
|
|
42
|
+
selector: string constant.character.escape
|
|
43
|
+
- begin: \colorbox[HTML]{CCCC33}{\color[HTML]{000000}
|
|
44
|
+
end: "}"
|
|
45
|
+
selector: string.interpolated
|
|
46
|
+
- begin: "{\\color[HTML]{CCCC33}"
|
|
47
|
+
end: "}"
|
|
48
|
+
selector: string.regexp
|
|
49
|
+
- begin: "{\\color[HTML]{CCCC33}"
|
|
50
|
+
end: "}"
|
|
51
|
+
selector: string.literal
|
|
52
|
+
- begin: "{\\color[HTML]{555555}"
|
|
53
|
+
end: "}"
|
|
54
|
+
selector: string.interpolated constant.character.escape
|
|
55
|
+
- begin: "{\\underline{"
|
|
56
|
+
end: "}}"
|
|
57
|
+
selector: entity.name.type
|
|
58
|
+
- begin: "{\\textit{"
|
|
59
|
+
end: "}}"
|
|
60
|
+
selector: entity.other.inherited-class
|
|
61
|
+
- begin: "{\\underline{"
|
|
62
|
+
end: "}}"
|
|
63
|
+
selector: entity.name.tag
|
|
64
|
+
- begin: "{"
|
|
65
|
+
end: "}"
|
|
66
|
+
selector: entity.other.attribute-name
|
|
67
|
+
- begin: "{\\color[HTML]{C83730}"
|
|
68
|
+
end: "}"
|
|
69
|
+
selector: support.function
|
|
70
|
+
listing:
|
|
71
|
+
begin: |
|
|
72
|
+
\newcolumntype{C}{>{\color[HTML]{FFFFFF}\columncolor[HTML]{000000}}l}
|
|
73
|
+
\newcolumntype{N}{>{\color[HTML]{FFFFFF}\columncolor[HTML]{644D6E}}l}
|
|
74
|
+
\begin{longtable}{NC}
|
|
75
|
+
|
|
76
|
+
end: |
|
|
77
|
+
\end{longtable}
|
|
78
|
+
|
|
79
|
+
document:
|
|
80
|
+
begin: |
|
|
81
|
+
\documentclass[a4paper,landscape]{article}
|
|
82
|
+
\usepackage{xcolor}
|
|
83
|
+
\usepackage{colortbl}
|
|
84
|
+
\usepackage{longtable}
|
|
85
|
+
\usepackage[left=2cm,top=1cm,right=3cm,nohead,nofoot]{geometry}
|
|
86
|
+
\usepackage[T1]{fontenc}
|
|
87
|
+
\usepackage[scaled]{beramono}
|
|
88
|
+
\begin{document}
|
|
89
|
+
|
|
90
|
+
end: |
|
|
91
|
+
\end{document}
|
|
92
|
+
|
|
93
|
+
filter: "@escaped.gsub(/(_|\\{|\\}|&|\\#|\\\\)/, '\\\\\\\\\\1').gsub(/~/, '\\\\textasciitilde').gsub(/ /,'\\\\hspace{1ex}').gsub(/\\t/,'\\\\hspace{3ex}')"
|
|
94
|
+
line-numbers:
|
|
95
|
+
begin: \texttt{
|
|
96
|
+
end: "}&\\mbox{\\texttt{"
|
|
@@ -0,0 +1,171 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: Amy
|
|
3
|
+
line:
|
|
4
|
+
begin: ""
|
|
5
|
+
end: "}}\\\\"
|
|
6
|
+
tags:
|
|
7
|
+
- begin: \colorbox[HTML]{200020}{\color[HTML]{404080}\textit{
|
|
8
|
+
end: "}}"
|
|
9
|
+
selector: comment.block
|
|
10
|
+
- begin: "{\\color[HTML]{999999}"
|
|
11
|
+
end: "}"
|
|
12
|
+
selector: string
|
|
13
|
+
- begin: "{\\color[HTML]{707090}"
|
|
14
|
+
end: "}"
|
|
15
|
+
selector: constant.language
|
|
16
|
+
- begin: "{\\color[HTML]{7090B0}"
|
|
17
|
+
end: "}"
|
|
18
|
+
selector: constant.numeric
|
|
19
|
+
- begin: "{\\textbf{"
|
|
20
|
+
end: "}}"
|
|
21
|
+
selector: constant.numeric.integer.int32
|
|
22
|
+
- begin: "{\\textit{"
|
|
23
|
+
end: "}}"
|
|
24
|
+
selector: constant.numeric.integer.int64
|
|
25
|
+
- begin: "{\\textbf{"
|
|
26
|
+
end: "}}"
|
|
27
|
+
selector: constant.numeric.integer.nativeint
|
|
28
|
+
- begin: "{\\underline{"
|
|
29
|
+
end: "}}"
|
|
30
|
+
selector: constant.numeric.floating-point.ocaml
|
|
31
|
+
- begin: "{\\color[HTML]{666666}"
|
|
32
|
+
end: "}"
|
|
33
|
+
selector: constant.character
|
|
34
|
+
- begin: "{\\color[HTML]{8080A0}"
|
|
35
|
+
end: "}"
|
|
36
|
+
selector: constant.language.boolean
|
|
37
|
+
- begin: "{"
|
|
38
|
+
end: "}"
|
|
39
|
+
selector: constant.language
|
|
40
|
+
- begin: "{"
|
|
41
|
+
end: "}"
|
|
42
|
+
selector: constant.other
|
|
43
|
+
- begin: "{\\color[HTML]{008080}"
|
|
44
|
+
end: "}"
|
|
45
|
+
selector: variable.language, variable.other
|
|
46
|
+
- begin: "{\\color[HTML]{A080FF}"
|
|
47
|
+
end: "}"
|
|
48
|
+
selector: keyword
|
|
49
|
+
- begin: "{\\color[HTML]{A0A0FF}"
|
|
50
|
+
end: "}"
|
|
51
|
+
selector: keyword.operator
|
|
52
|
+
- begin: "{\\color[HTML]{D0D0FF}"
|
|
53
|
+
end: "}"
|
|
54
|
+
selector: keyword.other.decorator
|
|
55
|
+
- begin: "{\\underline{"
|
|
56
|
+
end: "}}"
|
|
57
|
+
selector: keyword.operator.infix.floating-point.ocaml
|
|
58
|
+
- begin: "{\\underline{"
|
|
59
|
+
end: "}}"
|
|
60
|
+
selector: keyword.operator.prefix.floating-point.ocaml
|
|
61
|
+
- begin: "{\\color[HTML]{C080C0}"
|
|
62
|
+
end: "}"
|
|
63
|
+
selector: keyword.other.directive
|
|
64
|
+
- begin: "{\\color[HTML]{C080C0}\\underline{"
|
|
65
|
+
end: "}}"
|
|
66
|
+
selector: keyword.other.directive.line-number
|
|
67
|
+
- begin: "{\\color[HTML]{80A0FF}"
|
|
68
|
+
end: "}"
|
|
69
|
+
selector: keyword.control
|
|
70
|
+
- begin: "{\\color[HTML]{B0FFF0}"
|
|
71
|
+
end: "}"
|
|
72
|
+
selector: storage
|
|
73
|
+
- begin: "{\\color[HTML]{60B0FF}"
|
|
74
|
+
end: "}"
|
|
75
|
+
selector: entity.name.type.variant
|
|
76
|
+
- begin: "{\\color[HTML]{60B0FF}\\textit{"
|
|
77
|
+
end: "}}"
|
|
78
|
+
selector: storage.type.variant.polymorphic, entity.name.type.variant.polymorphic
|
|
79
|
+
- begin: "{\\color[HTML]{B000B0}"
|
|
80
|
+
end: "}"
|
|
81
|
+
selector: entity.name.type.module
|
|
82
|
+
- begin: "{\\color[HTML]{B000B0}\\underline{"
|
|
83
|
+
end: "}}"
|
|
84
|
+
selector: entity.name.type.module-type.ocaml
|
|
85
|
+
- begin: "{\\color[HTML]{A00050}"
|
|
86
|
+
end: "}"
|
|
87
|
+
selector: support.other
|
|
88
|
+
- begin: "{\\color[HTML]{70E080}"
|
|
89
|
+
end: "}"
|
|
90
|
+
selector: entity.name.type.class
|
|
91
|
+
- begin: "{\\color[HTML]{70E0A0}"
|
|
92
|
+
end: "}"
|
|
93
|
+
selector: entity.name.type.class-type
|
|
94
|
+
- begin: "{"
|
|
95
|
+
end: "}"
|
|
96
|
+
selector: entity.other.inherited-class
|
|
97
|
+
- begin: "{\\color[HTML]{50A0A0}"
|
|
98
|
+
end: "}"
|
|
99
|
+
selector: entity.name.function
|
|
100
|
+
- begin: "{\\color[HTML]{80B0B0}"
|
|
101
|
+
end: "}"
|
|
102
|
+
selector: variable.parameter
|
|
103
|
+
- begin: "{\\color[HTML]{3080A0}"
|
|
104
|
+
end: "}"
|
|
105
|
+
selector: entity.name.type.token
|
|
106
|
+
- begin: "{\\color[HTML]{3CB0D0}"
|
|
107
|
+
end: "}"
|
|
108
|
+
selector: entity.name.type.token.reference
|
|
109
|
+
- begin: "{\\color[HTML]{90E0E0}"
|
|
110
|
+
end: "}"
|
|
111
|
+
selector: entity.name.function.non-terminal
|
|
112
|
+
- begin: "{\\color[HTML]{C0F0F0}"
|
|
113
|
+
end: "}"
|
|
114
|
+
selector: entity.name.function.non-terminal.reference
|
|
115
|
+
- begin: "{\\color[HTML]{009090}"
|
|
116
|
+
end: "}"
|
|
117
|
+
selector: entity.name.tag
|
|
118
|
+
- begin: "{"
|
|
119
|
+
end: "}"
|
|
120
|
+
selector: entity.other.attribute-name
|
|
121
|
+
- begin: \colorbox[HTML]{200020}{
|
|
122
|
+
end: "}"
|
|
123
|
+
selector: support.constant
|
|
124
|
+
- begin: "{"
|
|
125
|
+
end: "}"
|
|
126
|
+
selector: support.type, support.class
|
|
127
|
+
- begin: "{"
|
|
128
|
+
end: "}"
|
|
129
|
+
selector: support.other.variable
|
|
130
|
+
- begin: \colorbox[HTML]{FFFF00}{\color[HTML]{400080}\textbf{
|
|
131
|
+
end: "}}"
|
|
132
|
+
selector: invalid.illegal
|
|
133
|
+
- begin: \colorbox[HTML]{CC66FF}{\color[HTML]{200020}
|
|
134
|
+
end: "}"
|
|
135
|
+
selector: invalid.deprecated
|
|
136
|
+
- begin: \colorbox[HTML]{2A003F}{
|
|
137
|
+
end: "}"
|
|
138
|
+
selector: source.camlp4.embedded
|
|
139
|
+
- begin: "{"
|
|
140
|
+
end: "}"
|
|
141
|
+
selector: source.camlp4.embedded.parser.ocaml
|
|
142
|
+
- begin: "{\\color[HTML]{805080}"
|
|
143
|
+
end: "}"
|
|
144
|
+
selector: punctuation
|
|
145
|
+
listing:
|
|
146
|
+
begin: |
|
|
147
|
+
\newcolumntype{C}{>{\color[HTML]{D0D0FF}\columncolor[HTML]{200020}}l}
|
|
148
|
+
\newcolumntype{N}{>{\color[HTML]{D0D0FF}\columncolor[HTML]{500010}}l}
|
|
149
|
+
\begin{longtable}{NC}
|
|
150
|
+
|
|
151
|
+
end: |
|
|
152
|
+
\end{longtable}
|
|
153
|
+
|
|
154
|
+
document:
|
|
155
|
+
begin: |
|
|
156
|
+
\documentclass[a4paper,landscape]{article}
|
|
157
|
+
\usepackage{xcolor}
|
|
158
|
+
\usepackage{colortbl}
|
|
159
|
+
\usepackage{longtable}
|
|
160
|
+
\usepackage[left=2cm,top=1cm,right=3cm,nohead,nofoot]{geometry}
|
|
161
|
+
\usepackage[T1]{fontenc}
|
|
162
|
+
\usepackage[scaled]{beramono}
|
|
163
|
+
\begin{document}
|
|
164
|
+
|
|
165
|
+
end: |
|
|
166
|
+
\end{document}
|
|
167
|
+
|
|
168
|
+
filter: "@escaped.gsub(/(_|\\{|\\}|&|\\#|\\\\)/, '\\\\\\\\\\1').gsub(/~/, '\\\\textasciitilde').gsub(/ /,'\\\\hspace{1ex}').gsub(/\\t/,'\\\\hspace{3ex}')"
|
|
169
|
+
line-numbers:
|
|
170
|
+
begin: \texttt{
|
|
171
|
+
end: "}&\\mbox{\\texttt{"
|