|
|
|
@@ -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) |
|
|
|
) |
|
|
|
|