diff options
| author | David Aspinall | 2009-08-20 11:23:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 11:23:18 +0000 |
| commit | a26e2e3089ab01d11c6cbca10abf6b168a2a41c7 (patch) | |
| tree | 15f0d97bef1329a2e029fabdb847b0c57381f07e | |
| parent | c440ded61788d0718065c494f7f19065da0e7e03 (diff) | |
proof-one-command-per-line: change default, use in proof-insert-pbp-command.
| -rw-r--r-- | generic/proof-config.el | 4 | ||||
| -rw-r--r-- | generic/proof-script.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index d3a69ab5..eade693d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -273,9 +273,9 @@ files which are out of date with respect to the loaded buffers!" :group 'proof-user-options) (defcustom proof-one-command-per-line - nil + t "*If non-nil, format for newlines after each proof command in a script. -This option is not fully-functional at the moment." ;; TODO +This option is not fully-functional at the moment." ;; TODO :type 'boolean :group 'proof-user-options) 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) |