diff --git a/minizinc.iro b/minizinc.iro index 46e2d17..fc49a9a 100644 --- a/minizinc.iro +++ b/minizinc.iro @@ -51,6 +51,13 @@ styles [] { pygments_scope = String.Escape } + .escaped : style { + color = brown + ace_scope = text + textmate_scope = text + pygments_scope = Generic.Inserted + } + .function : style { color = green ace_scope = entity.name.function @@ -146,6 +153,17 @@ main : context { styles [] = .comment; } + # Escape to non-MiniZinc code or comments + : inline_push { + regex \= (@) + styles [] = .escaped; + default_style = .escaped + : pop { + regex \= (@) + styles [] = .escaped; + } + } + ####################################### ## Literal Patterns #######################################