diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 20:41:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 20:41:47 +0000 |
commit | ec0258dc7cd8d2a8b8d30ea0398386f2000e35f4 (patch) | |
tree | 5ca142015918c0759a69b2fe834a136779c59a02 /lib/proof-compat.el | |
parent | accc3c19e430b9070fd445b1d2fb618b36c18668 (diff) |
proof-buffer-syntactic-context-emulate: use caching syntax-ppss
instead of parse-partial-sexp
Diffstat (limited to 'lib/proof-compat.el')
-rw-r--r-- | lib/proof-compat.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 12114f58..73522b45 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -102,7 +102,8 @@ The returned value is one of the following symbols: comment ; meaning point is within a line comment" (save-excursion (if buffer (set-buffer buffer)) - (let ((pp (parse-partial-sexp (point-min) (point)))) + (let ((pp (syntax-ppss))) + ;;(parse-partial-sexp (point-min) (point)))) (cond ((nth 3 pp) 'string) ;; ((nth 7 pp) 'block-comment) |