[nongnu] elpa/proof-general 80aac72a7a 02/25: Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails

[ELPA Syncer]

branch: elpa/proof-general
commit 80aac72a7a10e9a441ed4f44568cc8adc2240e90
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    Fix: proof-tree-external-display := nil, otherwise ProofGeneral fails
---
 qrhl/qrhl.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index da33a0bdd0..35b6e03a7c 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -11,7 +11,7 @@
                   ; We need to give some option here, otherwise 
proof-prog-name is interpreted
                   ; as a shell command which leads to problems if the path 
contains spaces
                   ; (see the documentation for proof-prog-name)
-           qrhl-prog-args '("--emacs")
+                  qrhl-prog-args '("--emacs")
                   proof-script-command-end-regexp "\\.[ \t]*$"
                   proof-shell-annotated-prompt-regexp 
"^\\(\\.\\.\\.\\|qrhl\\)> "
                   proof-script-comment-start-regexp "#"
@@ -27,6 +27,7 @@
                   proof-shell-filename-escapes '(("\\\\" . "\\\\") ("\"" . 
"\\\""))
                   proof-shell-cd-cmd "changeDirectory \"%s\"."
                   proof-save-command-regexp "^adfuaisdfaoidsfasd" ; 
ProofGeneral produces warning when this is not set. But we don't want goal/save 
commands to be recognized because that makes ProofGeneral do an atomic undo.
+                  proof-tree-external-display nil
                   )