diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 08:37:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 08:37:48 +0000 |
| commit | cee1fd6ee17284081ce7f1f6daae424c9a8d737e (patch) | |
| tree | 4e779aa043de58afa4147eb05553d299a72795df /isar/isar-unicode-tokens.el | |
| parent | ac4fe7cafd2dfaf34fd30fe78b5472b0899bc5db (diff) | |
inline isar-long-id-stuff
Diffstat (limited to 'isar/isar-unicode-tokens.el')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 144a8290..300a5f07 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -46,7 +46,11 @@ (defconst isar-control-char-format-regexp (concat "\\(\\\\<\\^%s>\\)\\(" - isar-long-id-stuff ; was: \\\\<[A-Za-z]+> + ;; isar-long-id-stuff: + "\\(?:" + "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z0-9'_]\\)" + "\\|\\.\\)+" + ;; above was simply: \\\\<[A-Za-z]+> "\\|[^\\]" "\\)")) |