diff options
| -rw-r--r-- | generic/pg-response.el | 6 |
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)))) |
