diff options
| -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 |