diff options
| -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)) |