Zulip Chat Archive

Stream: new members

Topic: lean-mode company


view this post on Zulip petercommand (Nov 15 2018 at 05:29):

company-complete isn't working for me..(I can run M-x company-company, but nothing shows up). I am using lean mode + emacs

view this post on Zulip petercommand (Nov 15 2018 at 05:33):

I have company-lean 20171102.1454 installed

view this post on Zulip petercommand (Nov 15 2018 at 05:33):

via melpa

view this post on Zulip Reid Barton (Nov 15 2018 at 12:39):

@petercommand if you have the goal window open, then sometimes it won't work.
Do you get any error or message?

view this post on Zulip petercommand (Nov 15 2018 at 12:48):

I didn't get any errors when I first tried, but I am getting error messages (Company: backend company-lean error "interrupted" with args) now if the goal window is open. And closing the goal window worked :D


Last updated: May 18 2021 at 17:44 UTC