lean-mode company

Stream: new members

[petercommand]

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

[petercommand]

I have company-lean 20171102.1454 installed

[petercommand]

via melpa

[Reid Barton]

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

[petercommand]

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