From 4de2228bd7f39bdce86035fdbc69703f228e9f02 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 5 Apr 2003 15:34:19 +0000
Subject: Add proof-indent-pad-eol for prettifying colouring in XEmacs

---
 generic/proof-config.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'generic')

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
-- 
cgit v1.2.3