diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 00:49:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 00:49:34 +0000 |
commit | 50f3bb5aa9d46082244977df5d727159f6dc4a0a (patch) | |
tree | 9e1e1d9774f5f803048ff2392579169e2ede1415 /isar/isar-unicode-tokens.el | |
parent | 7e3eb90d09027bc29a6d592769dad562b1e02855 (diff) |
isar-control-char-format-regexp: prevent subsequent control chars being captured
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-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]+> "\\|[^\\]" "\\)")) |