[nongnu] elpa/proof-general 0aaf95edba 10/25: Removed setting proof-tree-external-display in `qrhl.el`.

[ELPA Syncer]

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

    Removed setting proof-tree-external-display in `qrhl.el`.
    Not needed if `proof.el` is loaded.
    (Undoes 80aac72a)
---
 qrhl/qrhl.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 0081d06d7d..ff1e3c4dfa 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -72,7 +72,6 @@
                   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
                   )