diff options
-rw-r--r-- | doom/config.el | 3 | ||||
-rw-r--r-- | doom/packages.el | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/doom/config.el b/doom/config.el index 47b4b97..822556b 100644 --- a/doom/config.el +++ b/doom/config.el @@ -565,6 +565,9 @@ coq-compile-keep-going nil coq-compile-quick 'no-quick) +(after! company-mode + (setq company-global-modes (append company-global-modes '(org-mode)))) + ;; Removes performance problems with opening coq files. (after! core-editor (add-to-list 'doom-detect-indentation-excluded-modes 'coq-mode)) diff --git a/doom/packages.el b/doom/packages.el index 6fbaa71..a0e4b66 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -35,6 +35,7 @@ ;; Extra language mobdes (package! yaml-mode) (package! slime) +(package! pollen-mode) ;; Nix (package! direnv) |