Zulip Chat Archive

Stream: general

Topic: Evil + lean-mode


view this post on Zulip Adam Topaz (Aug 23 2020 at 18:22):

I'm trying to set up emacs to work with lean. I use evil for vim bindings, along with evil-leader (set as SPC). Has anyone been able to get company-lean to work with evil-leader? Here is what I have in my config:

(evil-leader/set-key-for-mode 'lean-mode
  "s" 'company-complete
  )

This doesn't seem to work. Does anyone have any suggestions?

view this post on Zulip Patrick Massot (Aug 23 2020 at 18:23):

I think vim users that want to use emacs for Lean rather use spacemacs.

view this post on Zulip Patrick Massot (Aug 23 2020 at 18:24):

Hopefully search Zulip for spacemacs will give results.

view this post on Zulip Adam Topaz (Aug 23 2020 at 18:24):

Spacemacs is too bloated for my taste :(

view this post on Zulip Adam Topaz (Aug 23 2020 at 18:24):

I guess I can look at the code for the lean spacemacs layer.

view this post on Zulip Adam Topaz (Aug 23 2020 at 18:26):

Hmmm... https://github.com/robkorn/spacemacs-lean-layer/blob/master/lean/packages.el suggests that evil-leader should just work.

view this post on Zulip Adam Topaz (Aug 23 2020 at 18:27):

Ah, the code above does just work. It was some other issue with my configuration of evil-leader. Forget everything I said.

view this post on Zulip Adam Topaz (Aug 23 2020 at 18:32):

escape > control


Last updated: May 14 2021 at 22:15 UTC