search

bamboo / idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server
MIT License
29 stars 13 forks source link

[Feature request] Add support for the new `repl` LSP command. #4

Closed Russoul closed 3 years ago

Russoul commented 3 years ago

The LSP command was implemented here: https://github.com/idris-community/idris2-lsp/pull/89

bamboo commented 3 years ago

Thanks for the suggestion. This is now implemented:

Screen Shot 2021-09-15 at 18 57 31

A preview of the result is displayed inline and the full result is displayed in a hover window.