From 80cfaf5a0a9f793cbb17d862bd9ca449e73c8a54 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@rak.ac>
Date: Sun, 24 Jan 2021 14:01:18 -0500
Subject: switch from auto-complete to company

---
 .emacs | 34 +++++++++++++++++++++++++---------
 1 file changed, 25 insertions(+), 9 deletions(-)

diff --git a/.emacs b/.emacs
index 00d2bec..c90217e 100644
--- a/.emacs
+++ b/.emacs
@@ -77,15 +77,6 @@
       (?1 delete-other-windows "Delete Other Windows")
       (?? aw-show-dispatch-help))))
 
-(use-package auto-complete
-  :ensure t
-  :config
-  (ac-config-default)
-  (ac-set-trigger-key "TAB")
-  (add-to-list 'ac-dictionary-directories "~/.emacs.d/auto-complete/ac-dict")
-  :hook
-  ((Coq-mode LaTeX-mode sml-mode) . auto-complete-mode))
-
 (use-package auto-indent-mode
   :ensure t
   :config
@@ -222,6 +213,31 @@ Extended Format date in the date field and return it as a string obeing
   :custom
   (c-default-style "bsd"))
 
+(use-package company
+  :ensure t
+  :hook
+  (after-init . global-company-mode))
+
+(use-package company-auctex
+  :after latex
+  :config
+  (company-auctex-init))
+
+(use-package company-bibtex
+  :ensure t
+  :hook
+  (bibtex-mode . (lambda () (add-to-list 'company-backends 'company-bibtex))))
+
+(use-package company-coq
+  :ensure t
+  :hook (coq-mode . company-coq-mode))
+
+(use-package company-math
+  :ensure t
+  :config
+  (add-to-list 'company-backends 'company-math-symbols-unicode)
+  (add-to-list 'company-backends 'company-latex-commands))
+
 (use-package cus-edit
   :custom
   (custom-file null-device "Don't store customizations"))
-- 
cgit v1.2.3