search

zjhmale / vscode-idris

Idris for Visual Studio Code
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
BSD 3-Clause "New" or "Revised" License
106 stars 21 forks source link

Cannot search or install this plugin anymore through vscodium marketplace #130

Closed turion closed 4 years ago

turion commented 4 years ago

I tried to search and install this plugin through the marketplace integrated editor. It doesn't show up in search results, and ext install zjhmale.Idris doesn't work either.

I could download it and install it over the command line though: codium --install-extension zjhmale.Idris-0.9.8.vsix

turion commented 4 years ago

Possibly this isn't a problem with this plugin since it occurred for other plugins as well.