diff --git a/emacs/.emacs.d/emacs.org b/emacs/.emacs.d/emacs.org index c89edc4..04d0459 100644 --- a/emacs/.emacs.d/emacs.org +++ b/emacs/.emacs.d/emacs.org @@ -645,9 +645,10 @@ Org-mode keybindings and settings, pretty sparse really. '(org-log-done t) '(org-hide-leading-stars t) ) + (use-package org-bullets :ensure t) + (org-reload) ) ) - #+END_SRC *** flycheck @@ -845,14 +846,6 @@ So I write gooder. Me fail English? Thats unpossible. (use-package writegood-mode :ensure t) #+END_SRC -*** restclient - -Comes in handily for those times you need it. - -#+BEGIN_SRC emacs-lisp - (use-package restclient :ensure t) -#+END_SRC - *** helm-gtags #+BEGIN_SRC emacs-lisp @@ -871,12 +864,10 @@ Compress down python configuration a bit. :init (progn (use-package jedi - :commands jedi:setup :ensure t :init (progn (jedi:install-server) - (add-hook 'python-mode-hook 'jedi:setup) ) :config (progn @@ -908,6 +899,7 @@ Compress down python configuration a bit. (progn (add-hook 'python-mode-hook' (lambda () + (jedi:setup) (push '("lambda" . ?λ) prettify-symbols-alist) (push '("<=" . ?≤) prettify-symbols-alist) (push '(">=" . ?≥) prettify-symbols-alist) @@ -916,7 +908,6 @@ Compress down python configuration a bit. (push '("&&" . ?∧) prettify-symbols-alist) (push '("||" . ?∨) prettify-symbols-alist) (push '("not" . ?¬) prettify-symbols-alist) - (push '("forall" . ?∀) prettify-symbols-alist) (push '("None" . ?⊥) prettify-symbols-alist) (prettify-symbols-mode) )