idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 24 forks source link

Return autocomplete-plus provider from provide function #256

Closed jmanuel1 closed 2 years ago

jmanuel1 commented 2 years ago

I made this change and code completion started working again. It appears the return was forgotten during the conversion of the codebase to TypeScript.

image