branch: elpa/proof-general
commit 9b3ec8c596fff4171762b9d7141eef3d4fdb0de1
Author: Dominique Unruh <[email protected]>
Commit: Dominique Unruh <[email protected]>

    qrhl: Made variable setting of `electric-indent-mode` buffer-local
---
 qrhl/qrhl.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index ce897125dc..4b2742788d 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -105,7 +105,7 @@
          (lambda ()
            (set-input-method qrhl-input-method)
            (set-language-environment "UTF-8")
-           (set-variable 'electric-indent-mode nil)
+           (set-variable 'electric-indent-mode nil t)
            (qrhl-buttonize-buffer)))
 
 (provide 'qrhl)

Reply via email to