diff options
| -rw-r--r-- | init.org | 32 |
1 files changed, 0 insertions, 32 deletions
@@ -449,19 +449,6 @@ (setq bookmark-default-file "~/.emacs.d/emacs.bmk" bookmark-fontify nil) #+END_SRC -*** Helpful - #+begin_src emacs-lisp :load no - (use-package helpful - :ensure t - :custom ((helpful-max-buffers 20)) - :config - (setq helpful-switch-buffer-function #'pop-to-buffer-same-window) - - :bind (("C-h k" . helpful-key) - ("C-h v" . helpful-variable) - ("C-h f" . helpful-callable) - ("C-h o" . helpful-symbol))) - #+end_src *** Inform (links in info buffers) #+begin_src emacs-lisp (use-package inform :ensure t) @@ -2706,15 +2693,6 @@ (venv-initialize-eshell) (jao-compilation-env "VIRTUAL_ENV")) #+end_src -*** Coq - #+begin_src emacs-lisp :load no - (use-package proof-general - :ensure t) - - (use-package company-coq - :ensure t - :hook (coq-mode . company-coq-mode)) - #+end_src *** JSON #+BEGIN_SRC emacs-lisp (use-package json-mode :ensure t) @@ -2913,16 +2891,6 @@ (erc-cmd-MSG (format "nickserv RELEASE %s" (car fn))) (erc-cmd-NICK (car fn)))) #+end_src -***** Images - #+begin_src emacs-lisp :load no - (use-package erc-image - :ensure t - :after erc - :init (setq erc-image-inline-rescale 'window) - :config - (add-to-list 'erc-modules 'image) - (erc-update-modules)) - #+end_src ***** Startup #+begin_src emacs-lisp (defun jao-erc (&optional yes) |