aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.emacs4
1 files changed, 4 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 8277efc..06a5822 100644
--- a/.emacs
+++ b/.emacs
@@ -174,6 +174,7 @@
;;;; Python
(setq python-python-command "/usr/bin/python3")
+(elpy-enable)
;;;; Default dictionary
(setq ispell-dictionary "british-ise-w_accents")
@@ -190,6 +191,9 @@
'(inhibit-startup-screen t)
'(proof-disappearing-proofs t)
'(proof-electric-terminator-enable t)
+ '(python-indent-guess-indent-offset nil)
+ '(python-indent-offset 4)
+ '(python-shell-interpreter "python3")
'(scroll-bar-mode nil)
'(tool-bar-mode nil))
(custom-set-faces