From 274c2cdfd58440d163a6da10858db319e773f4a7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 29 Dec 2002 16:18:55 +0000
Subject: Try to catch nesting too deep ugliness (esp in Isabelle tracing)

---
 generic/pg-response.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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))))
 
 
-- 
cgit v1.2.3