diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c1aede9b..af0f4cc4 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1789,6 +1789,9 @@ If WAIT is an integer, wait for that many seconds afterwards." ;; (Problem to fix is that process can die before sentinel is set: ;; it ought to be set just here, perhaps: but setting hook here ;; had no effect for some odd reason). + ;; What actually happens: an obscure infinite loop somewhere + ;; that can lead to "lisp nesting exceeded" somewhere, when + ;; shell startup fails. Ugly, but low priority to fix. )) ;; watch difference with proof-shell-menu, proof-shell-mode-menu. |