Try to catch nesting too deep ugliness (esp in Isabelle tracing)

1 files changed, 5 insertions, 1 deletions

diff --git a/generic/pg-response.el b/generic/pg-response.el
index 4eb2fde0..111a0f45 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -302,7 +302,11 @@ and start at the first error."
       (setq start (point))
       (insert str)
       (unless (bolp) (newline))
-      (proof-fontify-region start (point))
+      ;; Catch errors here: this is to deal with ugly problem
+      ;; when fontification of large output gives 
+      ;; (error Nesting too deep for parser)
+      (condition-case nil
+	  (proof-fontify-region start (point)))
       (set-buffer-modified-p nil))))