gitback/doomemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disable auto initializatinon of company in lean mode

Browse Source 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2019-09-09 12:36:29 +09:00
parent 2527306069
commit 8778eb2288
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
modules/lang/lean/config.el
View File

@ -29,6 +29,8 @@
(use-package! company-lean (use-package! company-lean
:init
(advice-add #'company-lean-hook :override #'ignore)
(set-company-backend! 'lean-mode 'company-lean)
:when (featurep! :completion company) :when (featurep! :completion company)
:after lean-mode :after lean-mode)
:config (set-company-backend! 'lean-mode 'company-lean))