diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:38:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:38:37 +0000 |
commit | 18edb39d893513e45eb7b0c78d340010a0ea759c (patch) | |
tree | e9996ce67a1a5efd2f67bca2d93a259c3b48e19f /isar | |
parent | 228d8c8b9ec1d4a5a8616080c10cbaf23e0c18c4 (diff) |
Add markup for \<^const> control, complicate `isar-control-char-format-regexp' to markup identifiers
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-unicode-tokens.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 83ef08e1..144a8290 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -44,7 +44,11 @@ "\\(\\\\<\\^%s>\\)\\(.*?\\)\\(\\\\<\\^%s>\\)") (defconst isar-control-char-format-regexp - "\\(\\\\<\\^%s>\\)\\([^\\]\\|\\\\<[A-Za-z]+>\\)") + (concat + "\\(\\\\<\\^%s>\\)\\(" + isar-long-id-stuff ; was: \\\\<[A-Za-z]+> + "\\|[^\\]" + "\\)")) (defconst isar-control-char-format "\\<^%s>") (defconst isar-control-region-format-start "\\<^%s>") @@ -56,7 +60,8 @@ ("Id subscript" "isub" sub) ("Superscript" "sup" sup) ("Id superscript" "isup" sup) - ("Loc" "loc" declaration) + ("Loc" "loc" keyword) + ("Constant" "const" keyword) ("Bold" "bold" bold) ;; unofficial: ("Italic" "italic" italic)) |