diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:55:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:55:30 +0000 |
| commit | af6f0debc693ac4e47c257d51061fada3dad1d28 (patch) | |
| tree | 492f1f67988f4cd84c5614ff1c793a7e91e78809 /generic | |
| parent | a4e2953bd7c0744d965b65032200c7d1f31c4f0f (diff) | |
Default to not using pad-eol
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 3e606b3f..e00f9bb4 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -721,13 +721,13 @@ If a function, it should return the command string to insert." (next "Next Step" "Process the next proof command" t) (use "Use Buffer" "Process whole buffer" t) (goto "Goto Point" "Process or undo to the cursor position" t) - (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (qed "Finish Proof" "Close/save proved theorem" t proof-save-command) (lockedend "Goto Locked End" nil t) (find "Find Theorems" "Find theorems" t proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" t) (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) + (restart "Restart Scripting" "Restart scripting (clear all locked regions)" t) (visibility "Toggle Visibility" nil t) (info nil "Show online proof assistant information" t proof-info-command) @@ -1356,8 +1356,10 @@ for scripting commands), unless activated-interactively is set." :type 'number :group 'proof-script) -(defcustom proof-indent-pad-eol t - "*Whether to add spaces to end of lines." +(defcustom proof-indent-pad-eol nil + "*Whether to add spaces to end of lines. +If enabled, spaces are added to the end of lines in an attempt to improve +the appearance of locked regions in XEmacs." :type 'boolean :group 'proof-script) |