proof-next-command-on-new-line: add this new internal flag

1 files changed, 6 insertions, 0 deletions

diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 5a83bb19..7ce99d8c 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -228,6 +228,12 @@ Set in `proof-shell-process-urgent-message'.")
 Used in `proof-autosend-loop' and inspected in other places to inhibit
 user interaction.")
 
+(defvar proof-next-command-on-new-line nil
+  "Indicate that `proof-script-new-command-advance' should make a newline.
+Internal variable dynamically bound.")
+
+
+
 
 ;;
 ;; Not variables at all: global constants (were in proof-config)