dekker.one
+18
minizinc.iro
+18
minizinc.iro
···
51
51
pygments_scope = String.Escape
52
52
}
53
53
54
+
.escaped : style {
55
+
color = brown
56
+
ace_scope = text
57
+
textmate_scope = text
58
+
pygments_scope = Generic.Inserted
59
+
}
60
+
54
61
.function : style {
55
62
color = green
56
63
ace_scope = entity.name.function
···
144
151
description = line comment
145
152
regex \= (%.*)
146
153
styles [] = .comment;
154
+
}
155
+
156
+
# Escape to non-MiniZinc code or comments
157
+
: inline_push {
158
+
regex \= (@)
159
+
styles [] = .escaped;
160
+
default_style = .escaped
161
+
: pop {
162
+
regex \= (@)
163
+
styles [] = .escaped;
164
+
}
147
165
}
148
166
149
167
#######################################