diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:34:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:34:19 +0000 |
| commit | 4de2228bd7f39bdce86035fdbc69703f228e9f02 (patch) | |
| tree | a1827cea460d1dacbe698c781deb43122a5f809a /generic | |
| parent | 539ae4d2e40c362a46c090032076c8ad77d7b0ea (diff) | |
Add proof-indent-pad-eol for prettifying colouring in XEmacs
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 47528236..3e606b3f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1356,6 +1356,11 @@ 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." + :type 'boolean + :group 'proof-script) + (defcustom proof-indent-hang nil "Enable 'hanging' indentation for proof script." :type 'boolean |