diff options
-rw-r--r-- | isar/isar-unicode-tokens.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 300a5f07..c8e50679 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -46,10 +46,13 @@ (defconst isar-control-char-format-regexp (concat "\\(\\\\<\\^%s>\\)\\(" - ;; isar-long-id-stuff: +; isar-long-id-stuff: "\\(?:" - "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z0-9'_]\\)" +; "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z0-9'_]\\)" +; apparently wrong: subscripts \\<^isub>____x\\<^isub>y____ + "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z0-9'_]\\)" "\\|\\.\\)+" + "\\|[^\\]" ;; above was simply: \\\\<[A-Za-z]+> "\\|[^\\]" "\\)")) |