diff options
author | 2007-05-08 15:07:18 +0000 | |
---|---|---|
committer | 2007-05-08 15:07:18 +0000 | |
commit | 37ce3dc6175e460b9d92694989c7c987bc7eee42 (patch) | |
tree | fa0ec72452f38dcd54ab76a5ab77515238971aa2 /isar | |
parent | d0c6365a7cbc9ec76472ce49cdda850b282834fb (diff) |
x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/x-symbol-isabelle.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/x-symbol-isabelle.el b/isar/x-symbol-isabelle.el index 58233920..3f06e91a 100644 --- a/isar/x-symbol-isabelle.el +++ b/isar/x-symbol-isabelle.el @@ -91,7 +91,7 @@ See language access `x-symbol-LANG-subscript-matcher'." :group 'x-symbol-isabelle :type 'function) -(defcustom x-symbol-isabelle-font-lock-regexp "\\\\<\\^[ib]?su[bp]>" +(defcustom x-symbol-isabelle-font-lock-regexp "\\(\\\\<\\^[ib]?su[bp]>\\)\\S-" "Regexp matching the start tag of Isabelle super- and subscripts." :group 'x-symbol-isabelle :type 'regexp) @@ -122,8 +122,8 @@ or subscript tag." (block nil (let (open-beg open-end close-end close-beg script-type) (while (re-search-forward x-symbol-isabelle-font-lock-regexp limit t) - (setq open-beg (match-beginning 0) - open-end (match-end 0) + (setq open-beg (match-beginning 1) + open-end (match-end 1) script-type (if (eq (char-after (- open-end 2)) ?b) 'x-symbol-sub-face 'x-symbol-sup-face)) |