search

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)
https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy
MIT License
18 stars 12 forks source link

Fix Deprecated VSCode-API Calls #39

Closed fabianhauser closed 5 years ago

fabianhauser commented 5 years ago

Currently, multiple deprecation messages are shown:

Extension 'correctnessLab.dafny-vscode' uses a document selector without scheme. Learn more about this: https://go.microsoft.com/fwlink/?linkid=872305
Extension 'correctnessLab.dafny-vscode' uses the 'vscode.previewHtml' command which is deprecated and will be removed. Please update your extension to use the Webview API: https://go.microsoft.com/fwlink/?linkid=2039309

These calls should be fixed according to the Microsoft documentation.

fabianhauser commented 5 years ago

The previewHtml command will be disabled in the vscode march release

fabianhauser commented 5 years ago

To use the dotfile support in the futures, larger reimplementation efforts with the new WebView API would have been required. As not many users utilised this feature (and the graph can still be generated manually on the command line), we decided to remove it for now (see c777256).