diff options
author | 2004-08-10 13:49:00 +0000 | |
---|---|---|
committer | 2004-08-10 13:49:00 +0000 | |
commit | 5bfea85b98053b04749bd8512cf4c85966679492 (patch) | |
tree | 0ff5c591411d32a7f5f4532853e92e1bd4bbba7a | |
parent | e82b526df20a7b651fd219ab2ac534c4bfbba5f7 (diff) |
Add error handler for nesting too deep in proof-fontify region.
-rw-r--r-- | generic/proof-utils.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 7deb9eca..f9eac34c 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -440,7 +440,12 @@ Returns new END value." (narrow-to-region start end) (run-hooks 'pg-before-fontify-output-hook) (setq end (point-max))) - (font-lock-default-fontify-region start end nil)))) + ;; da: 10.8.04 protect this against "Nesting too deep for parser" + ;; which may be raised by XEmacs' crummy `parse-partial-sexp'. + (condition-case err + (font-lock-default-fontify-region start end nil) + (t (proof-debug "Caught condition %s in `font-lock-default-fontify-region'" + (car err))))))) (save-restriction (narrow-to-region start end) (run-hooks 'pg-after-fontify-output-hook) |