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