From 8778eb22883fcdbca757993a844c57b8589f3649 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 9 Sep 2019 12:36:29 +0900 Subject: [PATCH] Disable auto initializatinon of company in lean mode Signed-off-by: Rudi Grinberg --- modules/lang/lean/config.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/modules/lang/lean/config.el b/modules/lang/lean/config.el index 676bf3534..3cff278d5 100644 --- a/modules/lang/lean/config.el +++ b/modules/lang/lean/config.el @@ -29,6 +29,8 @@ (use-package! company-lean + :init + (advice-add #'company-lean-hook :override #'ignore) + (set-company-backend! 'lean-mode 'company-lean) :when (featurep! :completion company) - :after lean-mode - :config (set-company-backend! 'lean-mode 'company-lean)) + :after lean-mode)