the out-of-date API - Githubissues

siegebell / vscoq

Coq Support for Visual Studio Code

MIT License

92 stars 9 forks source link

the out-of-date API #168

Open wm775825 opened 5 years ago

wm775825 commented 5 years ago

The VSCoq extention used the API "vscode.preview.html", however, which has been abandoned and will be deleted. Please update it to the webview API of VSCode. Thanks for your work!

Blaisorblade commented 5 years ago

Project's abandoned (see https://github.com/siegebell/vscoq/issues/167 for future plans by Coq devs), and the API's been removed in https://code.visualstudio.com/updates/v1_33.

Workaround: disable upgrades and follow instructions on https://stackoverflow.com/a/49347158/53974 to download the last working version (which should be https://code.visualstudio.com/updates/v1_32).