diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index ac44c9d9..8252838b 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2279,7 +2279,7 @@ appropriate." (proof-activate-scripting) (let (span) (proof-goto-end-of-locked) - (insert "\n") ;; could be user opt + (if proof-one-command-per-line (insert "\n")) (insert cmd) (setq span (span-make (proof-locked-end) (point))) (span-set-property span 'type 'pbp) |