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)