From 39f9826dcad95336feda49e823c528f028bb66f6 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 21 Aug 2014 09:34:29 -0700 Subject: [PATCH] fix(emacs/lean-mode): enable company-etags in lean-mode --- src/emacs/lean-mode.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index d5e8dc8556..9ffec848c2 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -109,8 +109,9 @@ (eldoc-mode +1) (when lean-company-use (require 'company) - (set (make-local-variable 'company-backends) '(company-etags)) - (company-mode t)))) + (company-mode t) + (add-to-list 'company-etags-modes 'lean-mode) + (set (make-local-variable 'company-backends) '(company-etags))))) "A mode for Lean files" ;; doc string for this mode )