Skip to content
Snippets Groups Projects
Commit 7aeb6ce5 authored by Philip Kaluđerčić's avatar Philip Kaluđerčić :u7121:
Browse files

Improve syntax highlighting involving "structure" and "include"

parent ba20a167
No related branches found
No related tags found
No related merge requests found
......@@ -181,7 +181,7 @@ Refer to the documentation for that variable for more details."
(defvar mmt-font-lock-keywords
`((,(rx symbol-start
(or "theory" "view" "type" "ur" "⟶" "include" "fixmeta" "namespace" "prec")
(or "theory" "view" "type" "ur" "⟶" "include" "fixmeta" "namespace" "prec" "structure")
symbol-end)
0 font-lock-keyword-face)
(,(rx line-start "namespace" (+ space) (group (+? anychar))
......@@ -197,8 +197,8 @@ Refer to the documentation for that variable for more details."
1 font-lock-function-name-face)
(,(rx (or (: "{" (+? anychar) "}") (: "[" (+? anychar) "]")))
0 font-lock-variable-name-face prepend)
(,(rx (or "theory" "view" "fixmeta")
(+ space) (group (+ (or alnum "_"))))
(,(rx (or "theory" "view" "fixmeta" "structure" "include")
(+ space) (? "?") (group (+ (or alnum "_"))))
1 font-lock-type-face))
"Font-lock keywords for `mmt-mode'.")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment